src/HOL/Isar_examples/document/root.tex

--- a/src/HOL/Isar_examples/document/root.tex	Wed Apr 05 21:06:37 2000 +0200
+++ b/src/HOL/Isar_examples/document/root.tex	Wed Apr 05 21:06:52 2000 +0200
@@ -33,6 +33,7 @@
 \input{W_correct.tex}
 \input{Fibonacci.tex}
 \input{Puzzle.tex}
+\input{NestedDatatype.tex}
 
 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
 \bibliographystyle{plain}