| Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | changeset | files |
| Mon, 12 Feb 2001 20:43:12 +0100 | wenzelm | \<subseteq>; | changeset | files |
| Sun, 11 Feb 2001 20:38:40 +0100 | wenzelm | added "xsymbols" syntax for "=?="; | changeset | files |
| Sun, 11 Feb 2001 16:34:20 +0100 | wenzelm | more robust selection of calculational rules; | changeset | files |