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 |
Wed, 13 Dec 2000 16:22:10 +0100 | wenzelm | tuned comments; | changeset | files |