| 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 |
| Tue, 14 Nov 2006 15:29:55 +0100 | wenzelm | simplified Proof.theorem(_i) interface; | changeset | files |
| Tue, 14 Nov 2006 15:29:54 +0100 | wenzelm | antiquotation theory: plain Theory.requires, no peeking at ThyInfo; | changeset | files |
| Tue, 14 Nov 2006 15:29:52 +0100 | wenzelm | simplified Proof.theorem(_i) interface; | changeset | files |
| Tue, 14 Nov 2006 15:29:50 +0100 | wenzelm | tuned antiquotation theory; | changeset | files |