1.1 --- a/doc-src/IsarRef/Makefile	Tue Aug 28 12:22:10 2012 +0200
     1.2 +++ b/doc-src/IsarRef/Makefile	Tue Aug 28 12:31:53 2012 +0200
     1.3 @@ -10,11 +10,10 @@
     1.4  NAME = isar-ref
     1.5  
     1.6  FILES = isar-ref.tex style.sty Thy/document/Framework.tex		\
     1.7 -  Thy/document/Generic.tex Thy/document/HOLCF_Specific.tex		\
     1.8 -  Thy/document/HOL_Specific.tex Thy/document/ML_Tactic.tex		\
     1.9 -  Thy/document/Proof.tex Thy/document/Quick_Reference.tex		\
    1.10 -  Thy/document/Spec.tex Thy/document/Synopsis.tex			\
    1.11 -  Thy/document/Inner_Syntax.tex		\
    1.12 +  Thy/document/Generic.tex Thy/document/HOL_Specific.tex		\
    1.13 +  Thy/document/ML_Tactic.tex Thy/document/Proof.tex			\
    1.14 +  Thy/document/Quick_Reference.tex Thy/document/Spec.tex		\
    1.15 +  Thy/document/Synopsis.tex Thy/document/Inner_Syntax.tex		\
    1.16    Thy/document/Preface.tex Thy/document/Document_Preparation.tex	\
    1.17    Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
    1.18    Thy/document/Symbols.tex ../isar.sty ../proof.sty ../iman.sty		\