/README/1.1/Mon Jun 21 12:23:25 1999//
/domains.sml/1.3/Tue Aug 31 09:39:54 1999//
/field.sig/1.1/Mon Aug  2 22:09:54 1999//
/integers-mod.fun/1.1/Mon Aug  2 22:09:55 1999//
/integers.fun/1.1/Mon Aug  2 22:10:55 1999//
/integers.sig/1.1/Mon Aug  2 22:11:42 1999//
/ordered-field.sig/1.1/Mon Aug  2 22:09:55 1999//
/rationals.fun/1.3/Tue Aug 31 09:39:55 1999//
/rationals.sig/1.1/Tue Aug 31 09:44:42 1999//
/sources.cm/1.7/Wed Jan 14 05:38:55 2004//
D
