# HG changeset patch
# User wenzelm
# Date 949696643 -3600
# Node ID f8a29f5a0433ae76bed608a30e7ac3e109f23c79
# Parent  7a4445000fc224252600e89a771bc20fecbf73dd
manually load session;

diff -r 7a4445000fc2 -r f8a29f5a0433 src/HOL/Isar_examples/document/root.tex
--- a/src/HOL/Isar_examples/document/root.tex	Fri Feb 04 21:36:13 2000 +0100
+++ b/src/HOL/Isar_examples/document/root.tex	Fri Feb 04 21:37:23 2000 +0100
@@ -20,7 +20,20 @@
 \tableofcontents
 
 \parindent 0pt \parskip 0.5ex
-\input{session}
+
+\input{BasicLogic.tex}
+\input{Cantor.tex}
+\input{Peirce.tex}
+\input{ExprCompiler.tex}
+\input{Group.tex}
+\input{Summation.tex}
+\input{KnasterTarski.tex}
+\input{MutilatedCheckerboard.tex}
+\input{MultisetOrder.tex}
+\input{W_correct.tex}
+\input{Primes.tex}
+\input{Fibonacci.tex}
+\input{Puzzle.tex}
 
 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
 \bibliographystyle{plain}