| changeset 42917 | ba23e83b0868 |
| parent 42915 | f35aae36cad0 |
| child 44966 | 1db165e0bd97 |
--- a/doc-src/IsarRef/isar-ref.tex Tue May 31 22:18:37 2011 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Tue May 31 22:47:18 2011 +0200 @@ -52,6 +52,7 @@ \clearfirst \part{Basic Concepts} +\input{Thy/document/Synopsis.tex} \input{Thy/document/Framework.tex} \input{Thy/document/First_Order_Logic.tex} \part{General Language Elements}