/README/1.1.1.1/Mon Oct 16 13:31:51 1995//THOL97
/sources.cm/1.1.4.1/Mon Jul 14 17:33:32 1997//THOL97
/make_prog_logic/1.1.1.1.4.2.2.1/Mon Jul 14 17:33:07 1997//THOL97
