equal
deleted
inserted
replaced
130 Tools/function_package/pattern_split.ML \ |
130 Tools/function_package/pattern_split.ML \ |
131 Tools/function_package/size.ML Tools/inductive_codegen.ML \ |
131 Tools/function_package/size.ML Tools/inductive_codegen.ML \ |
132 Tools/inductive_package.ML Tools/inductive_realizer.ML \ |
132 Tools/inductive_package.ML Tools/inductive_realizer.ML \ |
133 Tools/inductive_set_package.ML Tools/lin_arith.ML Tools/meson.ML \ |
133 Tools/inductive_set_package.ML Tools/lin_arith.ML Tools/meson.ML \ |
134 Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML \ |
134 Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML \ |
|
135 Tools/old_primrec_package.ML \ |
135 Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML \ |
136 Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML \ |
136 Tools/recdef_package.ML Tools/recfun_codegen.ML \ |
137 Tools/recdef_package.ML Tools/recfun_codegen.ML \ |
137 Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \ |
138 Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \ |
138 Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML \ |
139 Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML \ |
139 Tools/res_axioms.ML Tools/res_clause.ML Tools/res_hol_clause.ML \ |
140 Tools/res_axioms.ML Tools/res_clause.ML Tools/res_hol_clause.ML \ |