equal
deleted
inserted
replaced
15 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ |
15 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ |
16 ind_syntax.ML cladata.ML simpdata.ML \ |
16 ind_syntax.ML cladata.ML simpdata.ML \ |
17 typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML \ |
17 typedef.ML thy_syntax.ML thy_data.ML ../Pure/section_utils.ML \ |
18 ../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \ |
18 ../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \ |
19 ../Provers/simplifier.ML ../Provers/splitter.ML \ |
19 ../Provers/simplifier.ML ../Provers/splitter.ML \ |
|
20 ../Provers/nat_transitive.ML \ |
20 $(NAMES:%=%.thy) $(NAMES:%=%.ML) |
21 $(NAMES:%=%.thy) $(NAMES:%=%.ML) |
21 |
22 |
22 $(OUT)/HOL: $(OUT)/Pure $(FILES) |
23 $(OUT)/HOL: $(OUT)/Pure $(FILES) |
23 @$(ISATOOL) usedir -b $(OUT)/Pure HOL |
24 @$(ISATOOL) usedir -b $(OUT)/Pure HOL |
24 @chmod -w $@ |
25 @chmod -w $@ |