Tue, 10 Jun 2008 16:43:01 +0200 | wenzelm | eliminated obsolete case_split_thm -- use case_split; | changeset | files |
Tue, 10 Jun 2008 16:42:38 +0200 | wenzelm | Unstructured induction and cases analysis for Isabelle/HOL. | changeset | files |
Tue, 10 Jun 2008 15:31:05 +0200 | haftmann | dropped instance with attached definitions | changeset | files |