equal
deleted
inserted
replaced
53 HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz |
53 HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz |
54 |
54 |
55 $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF ex/Dagstuhl.ML ex/Dagstuhl.thy \ |
55 $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF ex/Dagstuhl.ML ex/Dagstuhl.thy \ |
56 ex/Dnat.thy ex/Fix2.ML ex/Fix2.thy ex/Focus_ex.ML \ |
56 ex/Dnat.thy ex/Fix2.ML ex/Fix2.thy ex/Focus_ex.ML \ |
57 ex/Focus_ex.thy ex/Hoare.ML ex/Hoare.thy ex/Loop.ML ex/Loop.thy \ |
57 ex/Focus_ex.thy ex/Hoare.ML ex/Hoare.thy ex/Loop.ML ex/Loop.thy \ |
58 ex/ROOT.ML ex/loeckx.ML ex/Fixrec_ex.thy \ |
58 ex/ROOT.ML ex/Fixrec_ex.thy \ |
59 ../HOL/Library/Nat_Infinity.thy |
59 ../HOL/Library/Nat_Infinity.thy |
60 @$(ISATOOL) usedir $(OUT)/HOLCF ex |
60 @$(ISATOOL) usedir $(OUT)/HOLCF ex |
61 |
61 |
62 |
62 |
63 ## HOLCF-FOCUS |
63 ## HOLCF-FOCUS |