/README/1.1/Tue Apr  2 19:27:37 2002//
/assign.fun/1.6/Sat Oct 18 23:52:44 2003//
/assign.sig/1.2/Sat Dec 28 05:15:40 2002//
/compile.fun/1.12/Sat Oct 18 23:52:44 2003//
/compile.sig/1.4/Mon Aug 25 16:55:34 2003//
/compile.sml/1.3/Sat Dec 28 05:15:40 2002//
/compsyn.fun/1.4/Mon Aug 25 16:55:34 2003//
/compsyn.sig/1.4/Mon Aug 25 16:55:34 2003//
/cprint.fun/1.3/Mon Aug 25 16:55:34 2003//
/cprint.sig/1.2/Sat Dec 28 05:15:40 2002//
/sources.cm/1.3/Mon Sep 16 11:01:12 2002//
D
