| 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 |
| Wed, 26 Sep 2007 19:18:00 +0200 | wenzelm | Attrib.eval_thms; | changeset | files |
| Wed, 26 Sep 2007 19:17:59 +0200 | wenzelm | read/check_specification: proper type inference across multiple sections, result is in closed form; | changeset | files |
| Wed, 26 Sep 2007 19:17:58 +0200 | wenzelm | added eval_thms; | changeset | files |