/README/1.1.1.1/Sat Sep  5 22:59:26 1998//
/formatter.fun/1.1.1.1/Sat Sep  5 22:59:26 1998//
/formatter.sig/1.1.1.1/Sat Sep  5 22:59:27 1998//
/formatter.sml/1.1.1.1/Sat Sep  5 22:59:27 1998//
/sources.cm/1.2/Mon Sep 16 11:01:12 2002//
D
