4 Commits (4629d7b51b49cbc16a6e3cbc50a3ecaf66753447)

Author	SHA1	Message	Date
Slava Pestov	df4fb4a3ee	Removing integers-as-sequences	2010-01-15 07:15:33 +13:00
Slava Pestov	ba8f1388ab	Fixing everything for mandatory stack effects	2008-06-09 02:14:14 -05:00
Slava Pestov	1c91a286e5	Updating summary and authors	2008-01-27 01:02:31 -04:00
Slava Pestov	a96457cecc	Initial import	2007-09-20 18:09:08 -04:00