Casey Klein f7fd6ee689 Changes the term generator to produce shorter sequences ... It now uses the (local) size bound instead of the (global) attempt count.		2011-01-31 12:36:42 -06:00
..
examples
private	Changes the term generator to produce shorter sequences	2011-01-31 12:36:42 -06:00
tests	Changes the term generator to produce shorter sequences	2011-01-31 12:36:42 -06:00
gui.rkt
info.rkt
main.rkt
pict.rkt
redex.scrbl	Changes the term generator to produce shorter sequences	2011-01-31 12:36:42 -06:00
reduction-semantics.rkt