equal
deleted
inserted
replaced
112 |
112 |
113 ## HOL-Inductive |
113 ## HOL-Inductive |
114 |
114 |
115 HOL-Inductive: HOL $(LOG)/HOL-Inductive.gz |
115 HOL-Inductive: HOL $(LOG)/HOL-Inductive.gz |
116 |
116 |
117 $(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/AB.thy Inductive/ROOT.ML |
117 $(LOG)/HOL-Inductive.gz: $(OUT)/HOL Inductive/ROOT.ML \ |
|
118 Inductive/Star.thy Inductive/AB.thy |
118 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Inductive |
119 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Inductive |
119 @rm -f tutorial.dvi |
120 @rm -f tutorial.dvi |
120 |
121 |
121 ## HOL-Misc |
122 ## HOL-Misc |
122 |
123 |