2008-06-03 wenzelm [Tue, 03 Jun 2008 00:03:54 +0200] rev 27054
updated generated file;
doc-src/IsarRef/Thy/document/Document_Preparation.tex doc-src/IsarRef/Thy/document/Misc.tex doc-src/IsarRef/Thy/document/Spec.tex

2008-06-03 wenzelm [Tue, 03 Jun 2008 00:03:52 +0200] rev 27053
tuned;
doc-src/IsarRef/Thy/Document_Preparation.thy doc-src/IsarRef/Thy/Spec.thy

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:38:28 +0200] rev 27052
updated generated file;
doc-src/IsarRef/Thy/document/Document_Preparation.tex doc-src/IsarRef/Thy/document/Introduction.tex doc-src/IsarRef/Thy/document/Misc.tex doc-src/IsarRef/Thy/document/Outer_Syntax.tex doc-src/IsarRef/Thy/document/Spec.tex doc-src/IsarRef/Thy/document/pure.tex

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:38:27 +0200] rev 27051
moved header command to Document_Preparation;
doc-src/IsarRef/Thy/Spec.thy

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:38:25 +0200] rev 27050
tuned structure;
doc-src/IsarRef/Thy/Introduction.thy doc-src/IsarRef/Thy/Outer_Syntax.thy

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:38:24 +0200] rev 27049
moved header command here;
doc-src/IsarRef/Thy/Document_Preparation.thy

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:38:22 +0200] rev 27048
removed onsolete pure.thy (cf. Misc.thy);
doc-src/IsarRef/IsaMakefile doc-src/IsarRef/Makefile doc-src/IsarRef/Thy/ROOT.ML doc-src/IsarRef/isar-ref.tex

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:12:23 +0200] rev 27047
updated generated file;
doc-src/IsarRef/Thy/document/Generic.tex doc-src/IsarRef/Thy/document/HOL_Specific.tex doc-src/IsarRef/Thy/document/Spec.tex

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:12:09 +0200] rev 27046
updated ML types for advanced translations;
doc-src/IsarRef/Thy/Spec.thy

2008-06-02 wenzelm [Mon, 02 Jun 2008 23:11:51 +0200] rev 27045
moved (ax_)specification to end;
doc-src/IsarRef/Thy/HOL_Specific.thy