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