/tautLib.sig/1.1.2.1/Thu Jul  3 16:45:30 1997//THOL97
/tautLib.sml/1.1.2.1/Thu Jul  3 16:45:19 1997//THOL97
