doc-src/IsarImplementation/Thy/Syntax.thy
2011-05-01 wenzelm 2011-05-01 use @{rail} antiquotation (with some nested markup); eliminated separate rail/latex phase;
2010-10-21 wenzelm 2010-10-21 preliminary material on "Concrete syntax and type-checking";
2010-10-18 wenzelm 2010-10-18 more on "Configuration options";
2010-10-15 wenzelm 2010-10-15 tuned chapter arrangement;
2010-01-29 wenzelm 2010-01-29 theory data example;
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-26 wenzelm 2009-02-26 basic setup for chapter "Syntax and type-checking";