equal
deleted
inserted
replaced
225 Tools/Qelim/cooper.ML \ |
225 Tools/Qelim/cooper.ML \ |
226 Tools/Qelim/generated_cooper.ML \ |
226 Tools/Qelim/generated_cooper.ML \ |
227 Tools/Qelim/presburger.ML \ |
227 Tools/Qelim/presburger.ML \ |
228 Tools/Qelim/qelim.ML \ |
228 Tools/Qelim/qelim.ML \ |
229 Tools/recdef_package.ML \ |
229 Tools/recdef_package.ML \ |
230 Tools/res_atp_methods.ML \ |
|
231 Tools/res_atp.ML \ |
230 Tools/res_atp.ML \ |
232 Tools/res_atp_provers.ML \ |
|
233 Tools/res_axioms.ML \ |
231 Tools/res_axioms.ML \ |
234 Tools/res_clause.ML \ |
232 Tools/res_clause.ML \ |
235 Tools/res_hol_clause.ML \ |
233 Tools/res_hol_clause.ML \ |
236 Tools/res_reconstruct.ML \ |
234 Tools/res_reconstruct.ML \ |
237 Tools/specification_package.ML \ |
235 Tools/specification_package.ML \ |