| Wed, 26 Sep 2007 20:50:34 +0200 | wenzelm | added minimize_sort, complete_sort; | changeset | files |
| Wed, 26 Sep 2007 20:50:33 +0200 | wenzelm | Sign.minimize/complete_sort; | changeset | files |
| Wed, 26 Sep 2007 20:27:58 +0200 | haftmann | convenient obtain rule for sets | changeset | files |
| 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 |
| Wed, 26 Sep 2007 19:18:01 +0200 | wenzelm | Attrib.eval_thms; | changeset | files |