/abs_theory.ps/1.1.1.1/Mon Oct 16 13:31:46 1995//THOL97
/abs_theory.tex/1.1.1.1/Mon Oct 16 13:31:46 1995//THOL97
/exorgroup.sml/1.1.1.1/Mon Oct 16 13:31:46 1995//THOL97
/monoid_def.sml/1.1.1.1/Mon Oct 16 13:31:45 1995//THOL97
/group_def.sml/1.1.1.1.6.1/Tue Jul  1 00:36:39 1997//THOL97
