/README/1.1.1.1/Sat Sep  5 22:59:39 1998//
/WALK/1.1.1.1/Sat Sep  5 22:59:39 1998//
/sources.cm/1.3/Mon Sep 16 11:01:12 2002//
/thm.fun/1.11/Wed Aug 20 00:29:37 2003//
/thm.sig/1.5/Sat Dec 28 05:15:42 2002//
/thm.sml/1.7/Wed Aug 20 00:29:37 2003//
/thmprint.fun/1.5/Sat Dec 28 05:15:42 2002//
/thmprint.sig/1.4/Fri Mar  8 20:17:56 2002//
/thmsyn.fun/1.12/Wed Aug 20 00:29:37 2003//
/thmsyn.sig/1.11/Mon Aug 25 16:55:35 2003//
D
