115 Tools/function_package/fundef_package.ML \ |
115 Tools/function_package/fundef_package.ML \ |
116 Tools/function_package/inductive_wrap.ML \ |
116 Tools/function_package/inductive_wrap.ML \ |
117 Tools/function_package/lexicographic_order.ML \ |
117 Tools/function_package/lexicographic_order.ML \ |
118 Tools/function_package/mutual.ML \ |
118 Tools/function_package/mutual.ML \ |
119 Tools/function_package/pattern_split.ML Tools/inductive_codegen.ML \ |
119 Tools/function_package/pattern_split.ML Tools/inductive_codegen.ML \ |
120 Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \ |
120 Tools/inductive_package.ML Tools/inductive_realizer.ML \ |
|
121 Tools/inductive_set_package.ML Tools/meson.ML \ |
121 Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML \ |
122 Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML \ |
122 Tools/old_inductive_package.ML Tools/polyhash.ML \ |
123 Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML \ |
123 Tools/primrec_package.ML Tools/prop_logic.ML \ |
|
124 Tools/recdef_package.ML Tools/recfun_codegen.ML \ |
124 Tools/recdef_package.ML Tools/recfun_codegen.ML \ |
125 Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \ |
125 Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \ |
126 Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML \ |
126 Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML \ |
127 Tools/res_atpset.ML Tools/res_axioms.ML Tools/res_clause.ML \ |
127 Tools/res_atpset.ML Tools/res_axioms.ML Tools/res_clause.ML \ |
128 Tools/res_hol_clause.ML Tools/res_reconstruct.ML \ |
128 Tools/res_hol_clause.ML Tools/res_reconstruct.ML \ |