/README/1.1.1.1/Sat Sep  5 22:59:40 1998//
/WALK/1.1.1.1/Sat Sep  5 22:59:40 1998//
/checking.fun/1.10/Sat Dec 28 05:15:42 2002//
/checking.sig/1.4/Sat Dec 28 05:15:42 2002//
/reduces.fun/1.21/Sat Dec 28 05:15:42 2002//
/reduces.sig/1.3/Sat Dec 28 05:15:42 2002//
/sources.cm/1.6/Mon Sep 16 11:01:12 2002//
/terminate.sml/1.6/Sat Dec 28 05:15:42 2002//
D
