/AbGroup.mu/1.13/Wed Jul 19 17:15:37 1995 Wed May 17 10:43:53 1995//TB122
/AbMonoid.mu/1.9/Wed Jul 19 17:15:37 1995 Wed May 17 10:43:55 1995//TB122
/AbSemGrp.mu/1.6/Wed Jul 19 17:15:37 1995 Wed May 17 10:43:56 1995//TB122
/Algebra.mu/1.3/Wed Jul 19 17:15:37 1995 Wed May 17 10:43:58 1995//TB122
/CanAbMon.mu/1.8/Wed Jul 19 17:15:37 1995 Wed May 17 10:43:59 1995//TB122
/CommRing.mu/1.9/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:01 1995//TB122
/DiffRing.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:02 1995//TB122
/EntRing.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:04 1995//TB122
/EuclDom.mu/1.6.2.1/Wed Jul 19 17:15:38 1995 Wed Jul 19 08:36:35 1995//TB122
/FactDom.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:07 1995//TB122
/Field.mu/1.10.2.1/Wed Jul 19 17:15:38 1995 Wed Jul 19 08:36:36 1995//TB122
/FinCollC.mu/1.4/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:10 1995//TB122
/GcdDom.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:11 1995//TB122
/Group.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:12 1995//TB122
/HFiProdC.mu/1.9/Wed Jul 19 17:15:38 1995 Fri May 26 09:58:29 1995//TB122
/HFinColC.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 17:57:53 1995//TB122
/INDEX/1.4/Wed Jul 19 17:15:38 1995 Tue Apr 11 14:31:47 1995//TB122
/IntegDom.mu/1.9.2.1/Wed Jul 19 17:15:38 1995 Wed Jul 19 08:36:37 1995//TB122
/LeftMod.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:18 1995//TB122
/MatCat.mu/1.15/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:20 1995//TB122
/Module.mu/1.5/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:21 1995//TB122
/Monoid.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:23 1995//TB122
/OrdSet.mu/1.10.2.1/Wed Jul 19 17:15:38 1995 Wed Jun 28 11:53:54 1995//TB122
/PDiffRng.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:26 1995//TB122
/PolyCat.mu/1.16/Wed Jul 19 17:15:38 1995 Fri May 26 09:58:30 1995//TB122
/PrIdDom.mu/1.5/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:30 1995//TB122
/QuoField.mu/1.12/Wed Jul 19 17:15:38 1995 Fri May 26 09:58:32 1995//TB122
/RightMod.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:32 1995//TB122
/Ring.mu/1.7/Wed Jul 19 17:15:38 1995 Fri May 26 09:58:33 1995//TB122
/Rng.mu/1.6/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:35 1995//TB122
/SemiGrp.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:37 1995//TB122
/SetCat.mu/1.11.2.1/Wed Jul 19 17:15:38 1995 Wed Jun 28 11:53:56 1995//TB122
/SkewFld.mu/1.8/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:40 1995//TB122
/SqMatCat.mu/1.13/Wed Jul 19 17:15:38 1995 Fri May 26 09:58:35 1995//TB122
/UPolyCat.mu/1.8/Wed Jul 19 17:15:38 1995 Wed May 17 10:44:44 1995//TB122
/rep_sq.mu/1.7/Wed Jul 19 17:15:38 1995 Wed May  3 10:15:06 1995//TB122
