6 Commits (85d55874f1613d40143c9a0815ce497e4e30a643)

Author	SHA1	Message	Date
Slava Pestov	690621ffb6	Change PREDICATE: syntax	2008-03-26 18:23:19 -05:00
Slava Pestov	ef53dbd1b9	Fix load-everything	2008-02-26 19:18:21 -06:00
Slava Pestov	6f0e64bb4c	Add some tags	2008-02-09 00:16:30 -06:00
Doug Coleman	097dad070a	minor tweaks to make these modules load with load-everything	2008-01-14 11:42:21 -10:00
Slava Pestov	1d8bd74d0f	new unfold word	2007-10-16 04:15:16 -04:00
Slava Pestov	a96457cecc	Initial import	2007-09-20 18:09:08 -04:00