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