diff -r 60058b050c58 -r 3bc332135aa7 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Fri May 09 23:21:33 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Fri May 09 23:35:57 2008 +0200
@@ -65,6 +65,8 @@
 \input{Thy/document/intro.tex}
 \input{basics.tex}
 \input{Thy/document/syntax.tex}
+\input{Thy/document/Spec.tex}
+\input{Thy/document/Proof.tex}
 \input{Thy/document/pure.tex}
 \input{Thy/document/Generic.tex}
 \input{Thy/document/HOL_Specific.tex}