| Wed, 15 Nov 2006 11:33:59 +0100 | paulson | Arity clauses are now produced only for types and type classes actually used. | changeset | files |
| Tue, 14 Nov 2006 22:17:04 +0100 | wenzelm | converted to 'inductive2'; | changeset | files |
| Tue, 14 Nov 2006 22:17:03 +0100 | wenzelm | added for_simple_fixes, specification; | changeset | files |
| Tue, 14 Nov 2006 22:17:01 +0100 | wenzelm | replaced Variable.fix_frees by Variable.auto_fixes (depends on body mode); | changeset | files |