doc-src/IsarImplementation/Thy/Prelim.thy
2009-03-08 wenzelm 2009-03-08 adapted to structure Long_Name;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name (in accordance with "full_name"); tuned;
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-16 wenzelm 2009-02-16 minor tuning and typographic fixes;
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;