/AC.sig/1.1.2.1.2.2/Mon Jul 14 17:43:41 1997//THOL97
/AC.sml/1.1.2.1.2.2/Mon Jul 14 17:43:58 1997//THOL97
/Canon.sig/1.1.2.2.2.1/Tue Jul  1 02:25:09 1997//THOL97
/Canon.sml/1.1.2.2.2.2/Mon Jul 14 17:42:59 1997//THOL97
/refuteLib.sml/1.1.2.1/Tue Jul  1 02:28:58 1997//THOL97
