/README/1.1.1.1/Sat Sep  5 22:59:30 1998//
/WALK/1.1.1.1/Sat Sep  5 22:59:30 1998//
/abstract.fun/1.26/Mon Aug 25 16:55:34 2003//
/abstract.sig/1.12/Mon Aug 25 16:55:34 2003//
/approx.fun/1.7/Sat Oct 18 23:52:44 2003//
/approx.sig/1.2/Sat Dec 28 05:15:41 2002//
/constraints.fun/1.6/Sun Aug 17 16:37:00 2003//
/constraints.sig/1.5/Sat Dec 28 05:15:41 2002//
/conv.fun/1.11/Mon Aug 25 16:55:34 2003//
/conv.sig/1.5/Sat Dec 28 05:15:41 2002//
/fgnopn.sig/1.1/Sun Aug 17 16:37:00 2003//
/fgnopntable.fun/1.1/Sun Aug 17 16:37:00 2003//
/intsyn.fun/1.32/Sat Oct 18 23:52:44 2003//
/intsyn.sig/1.28/Sat Oct 18 23:52:44 2003//
/lambda.sml/1.7/Mon Aug 25 16:55:34 2003//
/normalize.fun/1.2/Mon Aug 25 16:55:34 2003//
/normalize.sig/1.2/Mon Aug 25 16:55:34 2003//
/sources.cm/1.7/Mon Aug 25 16:55:34 2003//
/tomega.fun/1.2/Mon Aug 25 16:55:34 2003//
/tomega.sig/1.2/Mon Aug 25 16:55:34 2003//
/tomega.sml/1.2/Mon Aug 25 16:55:34 2003//
/unify.fun/1.25/Tue Aug 17 21:12:21 2004//
/unify.sig/1.13/Mon Aug 25 16:55:34 2003//
/whnf.fun/1.24/Mon Aug 25 16:55:34 2003//
/whnf.sig/1.7/Mon Aug 25 16:55:34 2003//
D
