equal
deleted
inserted
replaced
21 |
21 |
22 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz |
22 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz |
23 |
23 |
24 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/Base.thy \ |
24 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/Base.thy \ |
25 Thy/First_Order_Logic.thy Thy/Framework.thy Thy/Inner_Syntax.thy \ |
25 Thy/First_Order_Logic.thy Thy/Framework.thy Thy/Inner_Syntax.thy \ |
26 Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy \ |
26 Thy/Preface.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy \ |
27 Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy \ |
27 Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy \ |
28 Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy \ |
28 Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy \ |
29 Thy/ML_Tactic.thy |
29 Thy/ML_Tactic.thy |
30 @$(USEDIR) -s IsarRef HOL Thy |
30 @$(USEDIR) -s IsarRef HOL Thy |
31 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
31 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |