| changeset 26849 | df50bc1249d7 |
| parent 26846 | 2e6726015771 |
| child 26869 | 3bc332135aa7 |
--- a/doc-src/IsarRef/IsaMakefile Thu May 08 12:27:19 2008 +0200 +++ b/doc-src/IsarRef/IsaMakefile Thu May 08 12:29:18 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/Quick_Reference.thy \ - Thy/ML_Tactic.thy + Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/HOL_Specific.thy \ + Thy/Quick_Reference.thy Thy/ML_Tactic.thy @$(USEDIR) -s IsarRef HOL Thy