equal
deleted
inserted
replaced
117 Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML \ |
117 Tools/reconstruction.ML Tools/record_package.ML Tools/refute.ML \ |
118 Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML \ |
118 Tools/refute_isar.ML Tools/res_atp.ML Tools/res_axioms.ML \ |
119 Tools/res_clause.ML Tools/rewrite_hol_proof.ML \ |
119 Tools/res_clause.ML Tools/rewrite_hol_proof.ML \ |
120 Tools/sat_funcs.ML \ |
120 Tools/sat_funcs.ML \ |
121 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
121 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
122 Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy \ |
122 Tools/typedef_package.ML Tools/typedef_codegen.ML \ |
|
123 Transitive_Closure.ML Transitive_Closure.thy \ |
123 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
124 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
124 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \ |
125 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \ |
125 document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \ |
126 document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \ |
126 Tools/res_atp_provers.ML Tools/res_atp_methods.ML \ |
127 Tools/res_atp_provers.ML Tools/res_atp_methods.ML \ |
127 Tools/res_hol_clause.ML \ |
128 Tools/res_hol_clause.ML \ |