Wed, 11 Jan 1995 13:25:23 +0100 | wenzelm | pretty_gram: now sorts productions; | changeset | files |
Wed, 11 Jan 1995 10:57:39 +0100 | wenzelm | removed print_sign, print_axioms; | changeset | files |
Wed, 11 Jan 1995 10:53:22 +0100 | wenzelm | slightly changed OFCLASS syntax; | changeset | files |
Mon, 02 Jan 1995 12:16:12 +0100 | wenzelm | fixed minor typos; | changeset | files |
Mon, 02 Jan 1995 12:14:26 +0100 | wenzelm | added; | changeset | files |
Fri, 23 Dec 1994 16:51:10 +0100 | lcp | RepFun_eq_0_iff, RepFun_0: new | changeset | files |
Fri, 23 Dec 1994 16:50:22 +0100 | lcp | Moved Transset_includes_summands and Transset_sum_Int_subset | changeset | files |