equal
deleted
inserted
replaced
71 conv.ML defs.ML display.ML drule.ML envir.ML fact_index.ML goal.ML \ |
71 conv.ML defs.ML display.ML drule.ML envir.ML fact_index.ML goal.ML \ |
72 interpretation.ML library.ML logic.ML meta_simplifier.ML more_thm.ML \ |
72 interpretation.ML library.ML logic.ML meta_simplifier.ML more_thm.ML \ |
73 morphism.ML name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML \ |
73 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 \ |
75 sorts.ML subgoal.ML tactic.ML tctical.ML term.ML term_subst.ML theory.ML \ |
75 sorts.ML subgoal.ML tactic.ML tctical.ML term.ML term_subst.ML theory.ML \ |
76 thm.ML type.ML type_infer.ML unify.ML variable.ML |
76 thm.ML type.ML typedecl.ML type_infer.ML unify.ML variable.ML |
77 @./mk |
77 @./mk |
78 |
78 |
79 |
79 |
80 ## special targets |
80 ## special targets |
81 |
81 |