| Wed, 26 Sep 2007 20:27:57 +0200 | haftmann | added code lemma for 1 | changeset | files |
| Wed, 26 Sep 2007 20:27:55 +0200 | haftmann | moved Finite_Set before Datatype | changeset | files |
| Wed, 26 Sep 2007 19:19:38 +0200 | wenzelm | adapted variable order for inductive cases (determined by read_specification *before* expanding abbreviations); | changeset | files |