Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
regenerated document;
authorwenzelm
Thu, 05 Mar 2009 02:27:54 +0100
changeset 30272 2d612824e642
parent 30271 dcf30c9861c3
child 30274 44832d503659
regenerated document;
doc-src/IsarImplementation/Thy/Base.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Integration.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Isar.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Local_Theory.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Logic.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Prelim.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Proof.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Syntax.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/Tactic.thy file | annotate | diff | comparison | revisions
doc-src/IsarImplementation/Thy/document/ML.tex file | annotate | diff | comparison | revisions 
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
isabelle