equal
deleted
inserted
replaced
65 ## HOL-Datatype |
65 ## HOL-Datatype |
66 |
66 |
67 HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz |
67 HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz |
68 |
68 |
69 $(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \ |
69 $(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \ |
70 Datatype/Nested.thy Datatype/Nested2.thy Datatype/unfoldnested.thy \ |
70 Datatype/Nested.thy Datatype/unfoldnested.thy \ |
71 Datatype/Fundata.thy |
71 Datatype/Fundata.thy |
72 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype |
72 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype |
73 @rm -f tutorial.dvi |
73 @rm -f tutorial.dvi |
74 |
74 |
75 |
75 |