diff -r 7219a771ab63 -r 9c977f899ebf doc-src/IsarImplementation/Thy/Syntax.thy
--- a/doc-src/IsarImplementation/Thy/Syntax.thy	Fri Oct 15 19:54:34 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Syntax.thy	Fri Oct 15 20:22:56 2010 +0100
@@ -6,10 +6,14 @@
 
 text FIXME
 
+
 section {* Parsing and printing *}
 
 text FIXME
 
+
 section {* Checking and unchecking \label{sec:term-check} *}
 
+text FIXME
+
 end