| changeset 20430 | fd646e926983 |
| parent 20429 | 116255c9209b |
| child 20437 | 0eb5e30fd620 |
--- a/doc-src/IsarImplementation/Thy/prelim.thy Tue Aug 29 18:49:33 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/prelim.thy Tue Aug 29 18:56:11 2006 +0200 @@ -313,6 +313,9 @@ FIXME theory data *} +text %mlref {* +*} + subsection {* Proof context \label{sec:context-proof} *} @@ -350,7 +353,13 @@ *} +text %mlref {* FIXME *} + subsection {* Generic contexts *} +text FIXME + +text %mlref {* FIXME *} + end