changeset 20472 | e993073eda4c |
parent 20451 | 27ea2ba48fa3 |
child 20475 | a04bf731ceb6 |
1.1 --- a/doc-src/IsarImplementation/implementation.tex Mon Sep 04 16:28:36 2006 +0200 1.2 +++ b/doc-src/IsarImplementation/implementation.tex Mon Sep 04 17:06:45 2006 +0200 1.3 @@ -65,6 +65,7 @@ 1.4 \input{Thy/document/logic.tex} 1.5 \input{Thy/document/tactic.tex} 1.6 \input{Thy/document/proof.tex} 1.7 +\input{Thy/document/isar.tex} 1.8 \input{Thy/document/locale.tex} 1.9 \input{Thy/document/integration.tex} 1.10