equal
deleted
inserted
replaced
24 Pure: $(OUT)/Pure |
24 Pure: $(OUT)/Pure |
25 |
25 |
26 $(OUT)/Pure: CPure.thy General/ROOT.ML General/buffer.ML \ |
26 $(OUT)/Pure: CPure.thy General/ROOT.ML General/buffer.ML \ |
27 General/file.ML General/graph.ML General/heap.ML General/history.ML \ |
27 General/file.ML General/graph.ML General/heap.ML General/history.ML \ |
28 General/lazy_scan.ML General/lazy_seq.ML General/name_space.ML \ |
28 General/lazy_scan.ML General/lazy_seq.ML General/name_space.ML \ |
29 General/object.ML General/output.ML General/path.ML \ |
29 General/object.ML General/ord_list.ML General/output.ML General/path.ML \ |
30 General/position.ML General/pretty.ML General/scan.ML General/seq.ML \ |
30 General/position.ML General/pretty.ML General/scan.ML General/seq.ML \ |
31 General/source.ML General/susp.ML General/symbol.ML General/table.ML \ |
31 General/source.ML General/susp.ML General/symbol.ML General/table.ML \ |
32 General/url.ML General/xml.ML IsaPlanner/focus_term_lib.ML \ |
32 General/url.ML General/xml.ML IsaPlanner/focus_term_lib.ML \ |
33 IsaPlanner/isa_fterm.ML IsaPlanner/isand.ML IsaPlanner/isaplib.ML \ |
33 IsaPlanner/isa_fterm.ML IsaPlanner/isand.ML IsaPlanner/isaplib.ML \ |
34 IsaPlanner/rw_inst.ML IsaPlanner/rw_tools.ML IsaPlanner/term_lib.ML \ |
34 IsaPlanner/rw_inst.ML IsaPlanner/rw_tools.ML IsaPlanner/term_lib.ML \ |