changeset 30056 | 924c1fd5f303 |
parent 30044 | cf48beb23a70 |
child 30114 | 1fb1833cb199 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Wed Feb 11 21:41:05 2009 +0100 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Thu Feb 12 11:19:12 2009 +0100 1.3 @@ -82,6 +82,7 @@ 1.4 \part{Basic Concepts} 1.5 \input{Thy/document/Introduction.tex} 1.6 \input{Thy/document/Framework.tex} 1.7 +\input{Thy/document/First_Order_Logic.tex} 1.8 \part{General Language Elements} 1.9 \input{Thy/document/Outer_Syntax.tex} 1.10 \input{Thy/document/Document_Preparation.tex}