| 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 |
| Sun, 11 Feb 2001 16:31:54 +0100 | wenzelm | tuned trans rules; | changeset | files |