/basic_test.sml/1.1.1.1/Mon Oct 16 13:33:17 1995//THOL97
/eq_test.sml/1.1.1.1/Mon Oct 16 13:33:16 1995//THOL97
/imp_test.sml/1.1.1.1/Mon Oct 16 13:33:17 1995//THOL97
