Slava Pestov a233349c1f Bigger cards and decks		2008-05-09 00:09:12 -05:00
..
authors.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00
constants.factor	Bigger cards and decks	2008-05-09 00:09:12 -05:00
summary.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00