factor

Author	SHA1	Message	Date
Samuel Tardieu	dccb72befe	Define involutary words with "define-involution"	2009-01-13 16:58:31 +01:00
Samuel Tardieu	280564b6ec	Define reciprocal inverses with "define-dual"	2009-01-13 16:45:08 +01:00
Doug Coleman	097dad070a	minor tweaks to make these modules load with load-everything	2008-01-14 11:42:21 -10:00
Daniel Ehrenberg	10e3cee913	Inverse updates	2007-11-21 23:43:30 -06:00
Slava Pestov	a96457cecc	Initial import	2007-09-20 18:09:08 -04:00