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 |