doc-src/IsarImplementation/Thy/Local_Theory.thy
2011-01-21 wenzelm 2011-01-21 updated Named_Target.init;
2010-10-21 wenzelm 2010-10-21 more refs;
2010-10-18 wenzelm 2010-10-18 tuned;
2010-10-17 wenzelm 2010-10-17 use continental paragraph style, which works better with mixture of (in)formal text; tuned skips and indents; tuned;
2010-10-14 wenzelm 2010-10-14 more on "Attributes"; tuned;
2010-10-11 wenzelm 2010-10-11 misc tuning;
2010-08-17 wenzelm 2010-08-17 updated Named_Target.init;
2010-08-11 wenzelm 2010-08-11 Named_Target;
2010-02-01 wenzelm 2010-02-01 more details on long names, binding/naming, name space; tuned;
2009-11-21 wenzelm 2009-11-21 adapted local theory operations -- eliminated odd kind;
2009-11-13 wenzelm 2009-11-13 updated Local_Theory and Theory_Target;
2009-03-05 wenzelm 2009-03-05 regenerated document;
2009-03-05 wenzelm 2009-03-05 dummy changes to produce a new changeset of these files;
2009-02-18 wenzelm 2009-02-18 tuned;
2009-02-18 wenzelm 2009-02-18 more on local theories; tuned;
2009-02-17 wenzelm 2009-02-17 some text on local theory specifications;
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary; tuned outline;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;