| Fri, 09 Nov 2001 22:52:38 +0100 | wenzelm | syntactic declaration of external *and* internal versions of fixes; | changeset | files |
| Fri, 09 Nov 2001 22:51:24 +0100 | wenzelm | fixed print_records; | changeset | files |
| Fri, 09 Nov 2001 22:50:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 09 Nov 2001 22:50:32 +0100 | wenzelm | theorems case_split = case_split_thm [case_names True False, cases type: o]; | changeset | files |
| Fri, 09 Nov 2001 10:26:16 +0100 | berghofe | Theorems symmetric, reflexive and transitive are now stored with "open" | changeset | files |
| Fri, 09 Nov 2001 10:25:10 +0100 | berghofe | Commands prf and full_prf can now also be used to display proof term | changeset | files |