/INDEX/1.1/Wed Jul 19 17:15:43 1995 Tue Mar  7 18:40:25 1995//TB122
/dom_elem.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:15 1994//TB122
/id_list.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:17 1994//TB122
/id_set.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:18 1994//TB122
/int_poly.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:20 1994//TB122
/list_of.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:21 1994//TB122
/negint.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:23 1994//TB122
/nonegint.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:24 1994//TB122
/num_poly.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:26 1994//TB122
/poly_of.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:27 1994//TB122
/posint.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:28 1994//TB122
/rat_poly.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:29 1994//TB122
/rational.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:31 1994//TB122
/rea_poly.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:32 1994//TB122
/real.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:33 1994//TB122
/set_of.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:35 1994//TB122
/str_list.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:36 1994//TB122
/str_set.mu/1.1/Wed Jul 19 17:15:43 1995 Tue May 31 15:21:37 1994//TB122
