/test.sml/1.1.1.1/Mon Oct 16 13:30:50 1995//THOL97
/ind_defLib.sig/1.1.2.1/Thu Jul 10 21:05:50 1997//THOL97
/ind_defLib.sml/1.1.2.1/Thu Jul 10 21:05:39 1997//THOL97
