--- a/doc-src/IsarImplementation/Thy/document/session.tex Mon Feb 16 20:47:44 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/session.tex Mon Feb 16 20:49:39 2009 +0100
@@ -1,18 +1,18 @@
-\input{base.tex}
+\input{Base.tex}
-\input{prelim.tex}
+\input{Prelim.tex}
-\input{logic.tex}
+\input{Logic.tex}
-\input{tactic.tex}
+\input{Tactic.tex}
-\input{proof.tex}
+\input{Proof.tex}
-\input{isar.tex}
+\input{Isar.tex}
-\input{locale.tex}
+\input{Local_Theory.tex}
-\input{integration.tex}
+\input{Integration.tex}
\input{ML.tex}