| Fri, 23 Jul 1999 16:51:25 +0200 | wenzelm | Type.norm_term; | changeset | files |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | changeset | files |
| Fri, 23 Jul 1999 16:50:20 +0200 | wenzelm | require_thy: fixed performance leak; | changeset | files |
| 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 |
| 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 |
| Wed, 21 Jul 1999 15:22:11 +0200 | paulson | tweaked proofs to handle new freeness reasoning for data c onstructors | changeset | files |
| Wed, 21 Jul 1999 15:20:26 +0200 | paulson | more existing theorems renamed to use #0; also new results | changeset | files |
| Wed, 21 Jul 1999 15:18:36 +0200 | paulson | now exports mk_bin | changeset | files |
| Wed, 21 Jul 1999 15:17:54 +0200 | paulson | a more robust proof | changeset | files |