Tue, 02 Dec 1997 12:42:28 +0100 | wenzelm | tuned term order; | changeset | files |
Tue, 02 Dec 1997 12:41:29 +0100 | wenzelm | tuned trfuns types; | changeset | files |
Tue, 02 Dec 1997 12:41:02 +0100 | wenzelm | added prod_ord, dict_ord, list_ord; | changeset | files |