# HG changeset patch
# User wenzelm
# Date 1236216474 -3600
# Node ID 2d612824e642bff09a1b07231a2668e2a21ef1d4
# Parent  dcf30c9861c3e24998f1c6ce97c84854f8e5aca2
regenerated document;

diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Base.thy
--- a/doc-src/IsarImplementation/Thy/Base.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Base.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -2,5 +2,5 @@
 imports Pure
 uses "../../antiquote_setup.ML"
 begin
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Integration.thy
--- a/doc-src/IsarImplementation/Thy/Integration.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Integration.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -421,5 +421,5 @@
 
   \end{description}
 *}
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Isar.thy
--- a/doc-src/IsarImplementation/Thy/Isar.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Isar.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -33,5 +33,5 @@
 section {* Attributes *}
 
 text FIXME
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Local_Theory.thy
--- a/doc-src/IsarImplementation/Thy/Local_Theory.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Local_Theory.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -164,5 +164,5 @@
 section {* Morphisms and declarations *}
 
 text FIXME
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Logic.thy
--- a/doc-src/IsarImplementation/Thy/Logic.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Logic.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -905,5 +905,5 @@
 
   \end{description}
 *}
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Prelim.thy
--- a/doc-src/IsarImplementation/Thy/Prelim.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Prelim.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -760,5 +760,5 @@
 
   \end{description}
 *}
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Proof.thy
--- a/doc-src/IsarImplementation/Thy/Proof.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Proof.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -326,5 +326,5 @@
 
   \end{description}
 *}
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Syntax.thy
--- a/doc-src/IsarImplementation/Thy/Syntax.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Syntax.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -5,5 +5,5 @@
 chapter {* Syntax and type-checking *}
 
 text FIXME
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/Tactic.thy
--- a/doc-src/IsarImplementation/Thy/Tactic.thy	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Tactic.thy	Thu Mar 05 02:27:54 2009 +0100
@@ -401,5 +401,5 @@
 
   \medskip FIXME
 *}
- 
+
 end
diff -r dcf30c9861c3 -r 2d612824e642 doc-src/IsarImplementation/Thy/document/ML.tex
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Mar 05 02:24:36 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Mar 05 02:27:54 2009 +0100
@@ -785,7 +785,6 @@
 \isadelimtheory
 %
 \endisadelimtheory
-\isanewline
 \end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex