doc-src/IsarRef/Thy/Outer_Syntax.thy
2008-11-13 wenzelm 2008-11-13 moved section "Proof method expressions" to proof chapter; minor rearrangement of proof sections;
2008-11-13 wenzelm 2008-11-13 more on mixfix annotations (updated material from old ref manual);
2008-11-13 wenzelm 2008-11-13 tuned;
2008-11-13 wenzelm 2008-11-13 renamed "formal comments" to "document comments";
2008-06-02 wenzelm 2008-06-02 tuned structure;
2008-06-02 wenzelm 2008-06-02 major reorganization of document structure;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";