/README/1.1.1.1/Sat Sep  5 22:59:40 1998//
/WALK/1.1.1.1/Sat Sep  5 22:59:40 1998//
/sources.cm/1.2/Mon Sep 16 11:01:12 2002//
/strict.fun/1.12/Wed Aug 25 20:53:29 2004//
/strict.sig/1.5/Fri Jul  2 20:34:03 2004//
/typecheck.fun/1.15/Mon Aug 25 16:55:36 2003//
/typecheck.sig/1.8/Mon Aug 25 16:55:36 2003//
/typecheck.sml/1.4/Sat Dec 28 05:15:42 2002//
D
