equal
deleted
inserted
replaced
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 \ |
83 old_goals.ML pattern.ML primitive_defs.ML proofterm.ML pure_setup.ML \ |
83 old_goals.ML old_term.ML pattern.ML primitive_defs.ML proofterm.ML \ |
84 pure_thy.ML search.ML sign.ML simplifier.ML sorts.ML subgoal.ML \ |
84 pure_setup.ML pure_thy.ML search.ML sign.ML simplifier.ML sorts.ML \ |
85 tactic.ML tctical.ML term.ML term_subst.ML theory.ML thm.ML type.ML \ |
85 subgoal.ML tactic.ML tctical.ML term.ML term_subst.ML theory.ML \ |
86 type_infer.ML unify.ML variable.ML ../Tools/quickcheck.ML |
86 thm.ML type.ML type_infer.ML unify.ML variable.ML \ |
|
87 ../Tools/quickcheck.ML |
87 @./mk |
88 @./mk |
88 |
89 |
89 |
90 |
90 ## special targets |
91 ## special targets |
91 |
92 |