| 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 |