Slava Pestov 6b25e99470 Add summary for heaps more vocabs		2009-02-16 21:05:13 -06:00
..
introductions	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00
renaming	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00
normalization-tests.factor	Removing more >r/r> usages	2008-12-03 08:46:16 -06:00
normalization.factor	Trying to fix a bad merge...	2009-02-03 00:27:34 -06:00
summary.txt	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00