| changeset 19755 | 90f80de04c46 |
| parent 17246 | 0f22089c6b9e |
| child 19757 | 4a2a71c31968 |
| 19754:489e6be0b19d | 19755:90f80de04c46 |
|---|---|
32 |
32 |
33 ## LCF-ex |
33 ## LCF-ex |
34 |
34 |
35 LCF-ex: LCF $(LOG)/LCF-ex.gz |
35 LCF-ex: LCF $(LOG)/LCF-ex.gz |
36 |
36 |
37 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.ML ex/Ex1.thy ex/Ex2.ML ex/Ex2.thy \ |
37 $(LOG)/LCF-ex.gz: $(OUT)/LCF ex/Ex1.thy ex/Ex2.thy ex/Ex3.thy ex/Ex4.thy ex/ROOT.ML |
38 ex/Ex3.ML ex/Ex3.thy ex/Ex4.ML ex/Ex4.thy ex/ROOT.ML |
|
39 @$(ISATOOL) usedir $(OUT)/LCF ex |
38 @$(ISATOOL) usedir $(OUT)/LCF ex |
40 |
39 |
41 |
40 |
42 ## clean |
41 ## clean |
43 |
42 |