Casey Klein 026553c6f7 Fixes more failing Redex tests		2010-04-29 19:27:41 -05:00
..
examples	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
private	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
tests	Fixes more failing Redex tests	2010-04-29 19:27:41 -05:00
doc.txt	removed lots of "the the"s	2009-05-01 21:02:51 +00:00
gui.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
pict.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
redex.scrbl	Adds a term-equivalence predicate to the test--> and test-->> forms.	2010-04-09 00:08:39 +00:00
reduction-semantics.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00