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 |