/INDEX/1.2/Wed Jul 19 17:15:41 1995 Tue Mar 21 16:35:31 1995//TB122
/basis.mu/1.6/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:14 1995//TB122
/gbasis.mu/1.6/Wed Jul 19 17:15:41 1995 Tue Mar 21 17:05:04 1995//TB122
/normal.mu/1.2/Wed Jul 19 17:15:41 1995 Tue Mar  7 19:17:52 1995//TB122
/normalf.mu/1.6/Wed Jul 19 17:15:41 1995 Tue Mar 21 17:05:06 1995//TB122
/optorder.mu/1.4/Wed Jul 19 17:15:41 1995 Tue Mar 21 13:09:59 1995//TB122
/pairless.mu/1.3/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:18 1995//TB122
/red_base.mu/1.5/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:20 1995//TB122
/redset.mu/1.2/Wed Jul 19 17:15:41 1995 Tue Mar  7 19:17:59 1995//TB122
/reduce.mu/1.5/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:21 1995//TB122
/s_poly.mu/1.5/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:22 1995//TB122
/spoly.mu/1.7/Wed Jul 19 17:15:41 1995 Tue Mar 21 17:05:08 1995//TB122
/term_lcm.mu/1.3/Wed Jul 19 17:15:41 1995 Tue Mar  7 19:18:05 1995//TB122
/termless.mu/1.5/Wed Jul 19 17:15:41 1995 Mon Mar 13 14:53:25 1995//TB122
/testdom.mu/1.2/Wed Jul 19 17:15:41 1995 Wed Apr 26 10:10:06 1995//TB122
/testpoly.mu/1.3/Wed Jul 19 17:15:41 1995 Tue Mar  7 19:18:08 1995//TB122
/testpset.mu/1.4/Wed Jul 19 17:15:41 1995 Tue Mar 21 16:36:47 1995//TB122
/update.mu/1.6/Wed Jul 19 17:15:41 1995 Thu May  4 09:33:39 1995//TB122
