| Mon, 12 Feb 2001 20:47:19 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 12 Feb 2001 20:45:12 +0100 | wenzelm | support \<subseteq> syntax in classes/classrel/axclass/instance; | changeset | files |
| Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | changeset | files |