equal
deleted
inserted
replaced
105 Tools/ATP/reduce_axiomsN.ML \ |
105 Tools/ATP/reduce_axiomsN.ML \ |
106 Tools/ATP/recon_translate_proof.ML \ |
106 Tools/ATP/recon_translate_proof.ML \ |
107 Tools/ATP/watcher.ML \ |
107 Tools/ATP/watcher.ML \ |
108 Tools/cnf_funcs.ML \ |
108 Tools/cnf_funcs.ML \ |
109 Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \ |
109 Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \ |
110 Tools/datatype_codegen.ML Tools/datatype_package.ML \ |
110 Tools/datatype_codegen.ML Tools/datatype_hooks.ML Tools/datatype_package.ML \ |
111 Tools/datatype_prop.ML Tools/datatype_realizer.ML \ |
111 Tools/datatype_prop.ML Tools/datatype_realizer.ML \ |
112 Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML \ |
112 Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML \ |
113 Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \ |
113 Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \ |
114 Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/prop_logic.ML \ |
114 Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/prop_logic.ML \ |
115 Tools/polyhash.ML \ |
115 Tools/polyhash.ML \ |