| changeset 30458 | 804de935c328 |
| parent 30457 | 28b487cd9e15 |
| child 30459 | 52361140a0d1 |
--- a/doc-src/IsarImplementation/Thy/document/session.tex Wed Mar 11 20:11:06 2009 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,24 +0,0 @@ -\input{Base.tex} - -\input{Integration.tex} - -\input{Isar.tex} - -\input{Local_Theory.tex} - -\input{Logic.tex} - -\input{ML.tex} - -\input{Prelim.tex} - -\input{Proof.tex} - -\input{Syntax.tex} - -\input{Tactic.tex} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: "root" -%%% End: