| 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 |
| Sun, 11 Feb 2001 16:31:21 +0100 | wenzelm | updated; | changeset | files |
| Sun, 11 Feb 2001 13:26:23 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | changeset | files |
| Sat, 10 Feb 2001 08:49:36 +0100 | ballarin | Definition of setsum (sort constraint) relaxed to {zero, plus}. | changeset | files |
| Sat, 10 Feb 2001 08:48:10 +0100 | ballarin | Updates to HOL/Algebra: | changeset | files |
| Fri, 09 Feb 2001 23:48:50 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 09 Feb 2001 23:48:33 +0100 | wenzelm | lower priority for forw_subst; | changeset | files |
| Fri, 09 Feb 2001 20:34:42 +0100 | wenzelm | tuned; | changeset | files |