| 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 |