equal
deleted
inserted
replaced
312 Tools/Quotient/quotient_info.ML \ |
312 Tools/Quotient/quotient_info.ML \ |
313 Tools/Quotient/quotient_tacs.ML \ |
313 Tools/Quotient/quotient_tacs.ML \ |
314 Tools/Quotient/quotient_term.ML \ |
314 Tools/Quotient/quotient_term.ML \ |
315 Tools/Quotient/quotient_typ.ML \ |
315 Tools/Quotient/quotient_typ.ML \ |
316 Tools/recdef.ML \ |
316 Tools/recdef.ML \ |
|
317 Tools/Sledgehammer/meson_tactic.ML \ |
317 Tools/Sledgehammer/metis_tactics.ML \ |
318 Tools/Sledgehammer/metis_tactics.ML \ |
318 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \ |
320 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \ |
320 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
321 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
321 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |
322 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |