| Tue, 21 Nov 2006 18:07:41 +0100 | wenzelm | added stmt mode, which affects naming/indexing of local facts; | changeset | files |
| Tue, 21 Nov 2006 18:07:40 +0100 | wenzelm | simplified theorem(_i); | changeset | files |
| Tue, 21 Nov 2006 18:07:38 +0100 | wenzelm | notes: proper kind; | changeset | files |
| Tue, 21 Nov 2006 18:07:37 +0100 | wenzelm | notes: proper kind; | changeset | files |
| Tue, 21 Nov 2006 18:07:36 +0100 | wenzelm | removed kind attribs; | changeset | files |
| Tue, 21 Nov 2006 18:07:35 +0100 | wenzelm | moved theorem kinds from PureThy to Thm; | changeset | files |
| Tue, 21 Nov 2006 18:07:33 +0100 | wenzelm | moved theorem kinds from PureThy to Thm; | changeset | files |