| Fri, 23 Jul 1999 14:05:50 +0200 | wenzelm | fix occurences of numerals in HOL/ZF terms; | changeset | files |
| Fri, 23 Jul 1999 12:10:42 +0200 | nipkow | New lemmas by Stefan Merz. | changeset | files |
| Thu, 22 Jul 1999 20:53:54 +0200 | wenzelm | avoid '(0 subgoals)'; | changeset | files |