| changeset 22868 | c82dd66560ac |
| parent 20514 | 5ede702cd2ca |
| child 26854 | 9b4aec46ad78 |
--- a/doc-src/IsarImplementation/implementation.tex Tue May 08 15:01:33 2007 +0200 +++ b/doc-src/IsarImplementation/implementation.tex Tue May 08 15:36:39 2007 +0200 @@ -66,7 +66,7 @@ \listoffigures \clearfirst -\input{intro.tex} +%\input{intro.tex} \input{Thy/document/prelim.tex} \input{Thy/document/logic.tex} \input{Thy/document/tactic.tex}