equal
deleted
inserted
replaced
56 Thy/thy_parse.ML Thy/thy_scan.ML Thy/thy_syn.ML axclass.ML \ |
56 Thy/thy_parse.ML Thy/thy_scan.ML Thy/thy_syn.ML axclass.ML \ |
57 codegen.ML context.ML display.ML drule.ML envir.ML fact_index.ML \ |
57 codegen.ML context.ML display.ML drule.ML envir.ML fact_index.ML \ |
58 goals.ML install_pp.ML library.ML logic.ML meta_simplifier.ML net.ML \ |
58 goals.ML install_pp.ML library.ML logic.ML meta_simplifier.ML net.ML \ |
59 pattern.ML proof_general.ML proofterm.ML pure_thy.ML search.ML \ |
59 pattern.ML proof_general.ML proofterm.ML pure_thy.ML search.ML \ |
60 sign.ML simplifier.ML sorts.ML tactic.ML tctical.ML term.ML \ |
60 sign.ML simplifier.ML sorts.ML tactic.ML tctical.ML term.ML \ |
61 theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML |
61 defs.ML theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML |
62 @./mk |
62 @./mk |
63 |
63 |
64 |
64 |
65 ## special targets |
65 ## special targets |
66 |
66 |