| 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 |
| Thu, 22 Jul 1999 20:53:26 +0200 | wenzelm | Toplevel.excursion_error; | changeset | files |
| Thu, 22 Jul 1999 20:52:58 +0200 | wenzelm | added exists; | changeset | files |
| Thu, 22 Jul 1999 16:54:33 +0200 | berghofe | Tuned. | changeset | files |
| Wed, 21 Jul 1999 15:26:17 +0200 | paulson | a stronger diff_less and no more le_diff_less | changeset | files |
| Wed, 21 Jul 1999 15:23:18 +0200 | paulson | removed 2 qed_goals | changeset | files |