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