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 |
Tue, 21 Nov 2006 18:07:32 +0100 | wenzelm | LocalTheory.notes/defs: proper kind; | changeset | files |