equal
deleted
inserted
replaced
64 Syntax/syn_ext.ML Syntax/syn_trans.ML Syntax/syntax.ML \ |
64 Syntax/syn_ext.ML Syntax/syn_trans.ML Syntax/syntax.ML \ |
65 Syntax/type_ext.ML Thy/html.ML Thy/latex.ML Thy/ml_context.ML \ |
65 Syntax/type_ext.ML Thy/html.ML Thy/latex.ML Thy/ml_context.ML \ |
66 Thy/present.ML Thy/term_style.ML Thy/thm_database.ML Thy/thm_deps.ML \ |
66 Thy/present.ML Thy/term_style.ML Thy/thm_database.ML Thy/thm_deps.ML \ |
67 Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \ |
67 Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \ |
68 Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/named_thms.ML \ |
68 Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/named_thms.ML \ |
69 Tools/xml_syntax.ML assumption.ML axclass.ML \ |
69 Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML \ |
70 compress.ML config.ML conjunction.ML consts.ML context.ML \ |
70 compress.ML config.ML conjunction.ML consts.ML context.ML \ |
71 context_position.ML conv.ML defs.ML display.ML drule.ML envir.ML \ |
71 context_position.ML conv.ML defs.ML display.ML drule.ML envir.ML \ |
72 fact_index.ML goal.ML library.ML logic.ML meta_simplifier.ML \ |
72 fact_index.ML goal.ML library.ML logic.ML meta_simplifier.ML \ |
73 more_thm.ML morphism.ML name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML \ |
73 more_thm.ML morphism.ML name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML \ |
74 proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML simplifier.ML \ |
74 proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML simplifier.ML \ |