| Thu, 05 Nov 2009 22:59:57 +0100 | wenzelm | proper naming convention lthy: local_theory, but ctxt: Proof.context for arbitrary context; | changeset | files |
| Thu, 05 Nov 2009 22:08:47 +0100 | wenzelm | adapted LocalTheory.declaration; | changeset | files |
| Thu, 05 Nov 2009 22:06:46 +0100 | wenzelm | allow "pervasive" local theory declarations, which are applied the background theory; | changeset | files |
| Thu, 05 Nov 2009 20:44:42 +0100 | wenzelm | declare Spec_Rules for most basic definitional packages; | changeset | files |
| Thu, 05 Nov 2009 20:41:45 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 05 Nov 2009 20:40:16 +0100 | wenzelm | scalable version of Named_Thms, using Item_Net; | changeset | files |