/abs_theoryLib.sml/1.1.2.1/Tue Jul  1 00:42:25 1997//THOL97
/abs_theory.sml/1.2.2.1.2.2/Fri Jul 11 19:19:28 1997//THOL97
