equal
deleted
inserted
replaced
18 Thy/path.ML Thy/thm_database.ML Thy/thy_info.ML Thy/thy_parse.ML \ |
18 Thy/path.ML Thy/thm_database.ML Thy/thy_info.ML Thy/thy_parse.ML \ |
19 Thy/thy_read.ML Thy/thy_scan.ML Thy/thy_syn.ML Thy/use.ML \ |
19 Thy/thy_read.ML Thy/thy_scan.ML Thy/thy_syn.ML Thy/use.ML \ |
20 axclass.ML basis.ML deriv.ML display.ML drule.ML envir.ML \ |
20 axclass.ML basis.ML deriv.ML display.ML drule.ML envir.ML \ |
21 goals.ML install_pp.ML library.ML logic.ML name_space.ML net.ML \ |
21 goals.ML install_pp.ML library.ML logic.ML name_space.ML net.ML \ |
22 pattern.ML pure_thy.ML search.ML section_utils.ML seq.ML sign.ML \ |
22 pattern.ML pure_thy.ML search.ML section_utils.ML seq.ML sign.ML \ |
23 sorts.ML symtab.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \ |
23 sorts.ML table.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \ |
24 type.ML type_infer.ML unify.ML |
24 type.ML type_infer.ML unify.ML |
25 |
25 |
26 $(OUT)/Pure: $(FILES) |
26 $(OUT)/Pure: $(FILES) |
27 @./mk |
27 @./mk |
28 |
28 |