equal
deleted
inserted
replaced
20 ## IsarRef sessions |
20 ## IsarRef sessions |
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/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/Generic.thy Thy/HOL_Specific.thy \ |
27 Thy/Quick_Reference.thy Thy/ML_Tactic.thy |
27 Thy/Quick_Reference.thy Thy/ML_Tactic.thy |
28 @$(USEDIR) -s IsarRef HOL Thy |
28 @$(USEDIR) -s IsarRef HOL Thy |
29 |
29 |
30 |
30 |