# HG changeset patch
# User wenzelm
# Date 1236216006 -3600
# Node ID 61811c9224a60e6550e87ff76e9a48bf504fa43b
# Parent  e70dae49dc57df4ec78a4af7c97545aedc35fc54
dummy changes to produce a new changeset of these files;

diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Base.thy
--- a/doc-src/IsarImplementation/Thy/Base.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Base.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -2,5 +2,5 @@
 imports Pure
 uses "../../antiquote_setup.ML"
 begin
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Integration.thy
--- a/doc-src/IsarImplementation/Thy/Integration.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Integration.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -421,5 +421,5 @@
 
   \end{description}
 *}
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Isar.thy
--- a/doc-src/IsarImplementation/Thy/Isar.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Isar.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -33,5 +33,5 @@
 section {* Attributes *}
 
 text FIXME
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Local_Theory.thy
--- a/doc-src/IsarImplementation/Thy/Local_Theory.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Local_Theory.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -164,5 +164,5 @@
 section {* Morphisms and declarations *}
 
 text FIXME
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Logic.thy
--- a/doc-src/IsarImplementation/Thy/Logic.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Logic.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -905,5 +905,5 @@
 
   \end{description}
 *}
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/ML.thy
--- a/doc-src/IsarImplementation/Thy/ML.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/ML.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -631,4 +631,4 @@
   Most table functions correspond to those of association lists.
 *}
 
-end
+end
\ No newline at end of file
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Prelim.thy
--- a/doc-src/IsarImplementation/Thy/Prelim.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Prelim.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -760,5 +760,5 @@
 
   \end{description}
 *}
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Proof.thy
--- a/doc-src/IsarImplementation/Thy/Proof.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Proof.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -326,5 +326,5 @@
 
   \end{description}
 *}
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Syntax.thy
--- a/doc-src/IsarImplementation/Thy/Syntax.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Syntax.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -5,5 +5,5 @@
 chapter {* Syntax and type-checking *}
 
 text FIXME
-
+ 
 end
diff -r e70dae49dc57 -r 61811c9224a6 doc-src/IsarImplementation/Thy/Tactic.thy
--- a/doc-src/IsarImplementation/Thy/Tactic.thy	Wed Mar 04 10:47:35 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Tactic.thy	Thu Mar 05 02:20:06 2009 +0100
@@ -401,5 +401,5 @@
 
   \medskip FIXME
 *}
-
+ 
 end