# HG changeset patch
# User wenzelm
# Date 1226608436 -3600
# Node ID aad88e7344f0912c5abc9738e76094f532dfca37
# Parent  1ff7fff6a1703941dc9c8ed40bf81b3f5b0a3116
moved section "Document preparation" to front;

diff -r 1ff7fff6a170 -r aad88e7344f0 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:15 2008 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:56 2008 +0100
@@ -6,9 +6,9 @@
 
 use_thy "Introduction";
 use_thy "Outer_Syntax";
+use_thy "Document_Preparation";
 use_thy "Spec";
 use_thy "Proof";
-use_thy "Document_Preparation";
 use_thy "Misc";
 use_thy "Generic";
 use_thy "HOL_Specific";
diff -r 1ff7fff6a170 -r aad88e7344f0 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:33:15 2008 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:33:56 2008 +0100
@@ -76,9 +76,9 @@
 
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Outer_Syntax.tex}
+\input{Thy/document/Document_Preparation.tex}
 \input{Thy/document/Spec.tex}
 \input{Thy/document/Proof.tex}
-\input{Thy/document/Document_Preparation.tex}
 \input{Thy/document/Misc.tex}
 \input{Thy/document/Generic.tex}
 \input{Thy/document/HOL_Specific.tex}