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 \ |
24 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
25 Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy \ |
25 Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy \ |
26 Thy/pure.thy Thy/Generic.thy Thy/HOL_Specific.thy \ |
26 Thy/pure.thy Thy/Document_Preparation.thy Thy/Generic.thy \ |
27 Thy/Quick_Reference.thy Thy/ML_Tactic.thy |
27 Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy |
28 @$(USEDIR) -s IsarRef HOL Thy |
28 @$(USEDIR) -s IsarRef HOL Thy |
29 |
29 |
30 |
30 |
31 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz |
31 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz |
32 |
32 |