doc-src/IsarImplementation/Thy/document/Prelim.tex
2009-03-08 wenzelm 2009-03-08 adapted to structure Long_Name;
2009-03-06 wenzelm 2009-03-06 recovered generated files;
2009-02-26 wenzelm 2009-02-26 updated generated files;
2009-02-16 wenzelm 2009-02-16 updated genereted files;
2009-02-16 wenzelm 2009-02-16 updated generated files;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;