--- a/doc-src/IsarRef/IsaMakefile Fri May 09 23:21:33 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile Fri May 09 23:35:57 2008 +0200
@@ -22,8 +22,8 @@
HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
- Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/HOL_Specific.thy \
- Thy/Quick_Reference.thy Thy/ML_Tactic.thy
+ Thy/syntax.thy Thy/Spec.thy Thy/Proof.thy Thy/pure.thy Thy/Generic.thy \
+ Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy
@$(USEDIR) -s IsarRef HOL Thy