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