diff -r 6d93140a206c -r 93f3f9a2ae91 src/Doc/IsarImplementation/Syntax.thy
--- a/src/Doc/IsarImplementation/Syntax.thy	Fri Jun 21 13:36:10 2013 +0200
+++ b/src/Doc/IsarImplementation/Syntax.thy	Sat Jun 22 18:24:06 2013 +0200
@@ -69,11 +69,7 @@
   @{index_ML Syntax.pretty_term: "Proof.context -> term -> Pretty.T"} \\
   \end{mldecls}
 
-  \begin{description}
-
-  \item FIXME
-
-  \end{description}
+  %FIXME description
 *}
 
 
@@ -106,11 +102,7 @@
   @{index_ML Syntax.unparse_term: "Proof.context -> term -> Pretty.T"} \\
   \end{mldecls}
 
-  \begin{description}
-
-  \item FIXME
-
-  \end{description}
+  %FIXME description
 *}
 
 
@@ -153,11 +145,7 @@
   @{index_ML Syntax.uncheck_terms: "Proof.context -> term list -> term list"} \\
   \end{mldecls}
 
-  \begin{description}
-
-  \item FIXME
-
-  \end{description}
+  %FIXME description
 *}
 
 end