| changeset 20477 | e623b0e30541 |
| parent 20474 | af069653f1d7 |
| child 20491 | 98ba42f19995 |
--- a/doc-src/IsarImplementation/Thy/unused.thy Tue Sep 05 16:42:23 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/unused.thy Tue Sep 05 16:42:32 2006 +0200 @@ -1,3 +1,16 @@ +section {* Structured output *} + +subsection {* Pretty printing *} + +text FIXME + +subsection {* Output channels *} + +text FIXME + +subsection {* Print modes \label{sec:print-mode} *} + +text FIXME text {*