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