equal
deleted
inserted
replaced
19 TFL = dcterm.sml post.sml rules.new.sml rules.sig \ |
19 TFL = dcterm.sml post.sml rules.new.sml rules.sig \ |
20 sys.sml tfl.sig tfl.sml thms.sig thms.sml thry.sig thry.sml \ |
20 sys.sml tfl.sig tfl.sml thms.sig thms.sml thry.sig thry.sml \ |
21 usyntax.sig usyntax.sml utils.sig utils.sml |
21 usyntax.sig usyntax.sml utils.sig utils.sml |
22 |
22 |
23 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ |
23 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML \ |
24 ind_syntax.ML cladata.ML simpdata.ML arith_data.ML \ |
24 ind_syntax.ML cladata.ML record.ML simpdata.ML arith_data.ML \ |
25 typedef.ML thy_syntax.ML thy_data.ML $(ISABELLE_HOME)/src/Pure/section_utils.ML \ |
25 typedef.ML thy_syntax.ML thy_data.ML $(ISABELLE_HOME)/src/Pure/section_utils.ML \ |
26 $(NAMES:%=%.thy) $(NAMES:%=%.ML) $(TFL:%=../TFL/%) \ |
26 $(NAMES:%=%.thy) $(NAMES:%=%.ML) $(TFL:%=../TFL/%) \ |
27 $(PROVERS:%=$(ISABELLE_HOME)/src/Provers/%) |
27 $(PROVERS:%=$(ISABELLE_HOME)/src/Provers/%) |
28 |
28 |
29 $(OUT)/HOL: $(OUT)/Pure $(FILES) |
29 $(OUT)/HOL: $(OUT)/Pure $(FILES) |