omit Primes;

--- a/src/HOL/Isar_examples/document/root.tex	Mon Feb 07 18:42:47 2000 +0100
+++ b/src/HOL/Isar_examples/document/root.tex	Tue Feb 08 20:12:36 2000 +0100
@@ -31,7 +31,6 @@
 \input{MutilatedCheckerboard.tex}
 \input{MultisetOrder.tex}
 \input{W_correct.tex}
-\input{Primes.tex}
 \input{Fibonacci.tex}
 \input{Puzzle.tex}