| changeset 39852 | 9c977f899ebf |
| parent 34924 | 520727474bbe |
| child 39865 | a724b90f951e |
--- 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