equal
deleted
inserted
replaced
61 Tools/codegen_theorems.ML Tools/codegen_simtype.ML \ |
61 Tools/codegen_theorems.ML Tools/codegen_simtype.ML \ |
62 Tools/codegen_thingol.ML Tools/compute.ML \ |
62 Tools/codegen_thingol.ML Tools/compute.ML \ |
63 Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML \ |
63 Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML \ |
64 axclass.ML codegen.ML compress.ML conjunction.ML consts.ML context.ML defs.ML \ |
64 axclass.ML codegen.ML compress.ML conjunction.ML consts.ML context.ML defs.ML \ |
65 display.ML drule.ML envir.ML fact_index.ML goal.ML install_pp.ML \ |
65 display.ML drule.ML envir.ML fact_index.ML goal.ML install_pp.ML \ |
66 library.ML logic.ML meta_simplifier.ML net.ML old_goals.ML pattern.ML \ |
66 library.ML logic.ML meta_simplifier.ML name.ML net.ML old_goals.ML pattern.ML \ |
67 proof_general.ML proofterm.ML pure_thy.ML search.ML sign.ML \ |
67 proof_general.ML proofterm.ML pure_thy.ML search.ML sign.ML \ |
68 simplifier.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \ |
68 simplifier.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \ |
69 type.ML type_infer.ML variable.ML unify.ML |
69 type.ML type_infer.ML variable.ML unify.ML |
70 @./mk |
70 @./mk |
71 |
71 |