doc-src/IsarRef/Thy/document/Outer_Syntax.tex
2010-03-19 wenzelm 2010-03-19 allow sort constraints in HOL/typedef;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-28 wenzelm 2009-02-28 updated generated files;
2009-02-09 wenzelm 2009-02-09 updated generated files;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";