equal
deleted
inserted
replaced
71 ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML \ |
71 ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML \ |
72 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
72 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
73 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
73 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
74 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
74 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
75 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |
75 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |
76 Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \ |
76 Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML Thy/thy_output.ML \ |
77 Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML \ |
77 Thy/thy_syntax.ML Tools/ROOT.ML Tools/invoke.ML \ |
78 Tools/isabelle_process.ML Tools/named_thms.ML Tools/xml_syntax.ML \ |
78 Tools/isabelle_process.ML Tools/named_thms.ML Tools/xml_syntax.ML \ |
79 assumption.ML axclass.ML codegen.ML config.ML conjunction.ML \ |
79 assumption.ML axclass.ML codegen.ML config.ML conjunction.ML \ |
80 consts.ML context.ML context_position.ML conv.ML defs.ML display.ML \ |
80 consts.ML context.ML context_position.ML conv.ML defs.ML display.ML \ |
81 drule.ML envir.ML facts.ML goal.ML interpretation.ML library.ML \ |
81 drule.ML envir.ML facts.ML goal.ML interpretation.ML library.ML \ |
82 logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML \ |
82 logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML \ |