/READ-ME/1.1.2.2/Tue Sep  3 15:29:22 1996//THOL97
/examples.sml/1.1.2.1/Tue Sep  3 15:27:39 1996//THOL97
/sources.cm/1.1.2.1.2.1/Tue Jul  1 01:28:16 1997//THOL97
