Wed, 13 Dec 2000 17:46:49 +0100 | wenzelm | updated; | changeset | files |
Wed, 13 Dec 2000 17:43:33 +0100 | wenzelm | eliminated GOAL syntax; | changeset | files |
Wed, 13 Dec 2000 17:41:10 +0100 | wenzelm | fixed add_term_names: NameSpace.base; | changeset | files |