| Tue, 14 Nov 2006 22:17:00 +0100 | wenzelm | removed fix_frees interface; | changeset | files |
| Tue, 14 Nov 2006 22:16:59 +0100 | wenzelm | converted to 'inductive2'; | changeset | files |
| Tue, 14 Nov 2006 22:16:58 +0100 | wenzelm | inductive: canonical specification syntax (flattened result only); | changeset | files |
| Tue, 14 Nov 2006 22:16:57 +0100 | wenzelm | inductive2: canonical specification syntax; | changeset | files |
| Tue, 14 Nov 2006 22:16:55 +0100 | wenzelm | InductivePackage.add_inductive_i: canonical argument order; | changeset | files |
| Tue, 14 Nov 2006 22:16:54 +0100 | wenzelm | inductive2: canonical specification syntax; | changeset | files |
| Tue, 14 Nov 2006 17:55:30 +0100 | schirmer | Exported some names | changeset | files |
| Tue, 14 Nov 2006 15:29:56 +0100 | wenzelm | simplified Proof.theorem(_i) interface -- removed target support; | changeset | files |