311 Tools/Quotient/quotient_info.ML \ |
311 Tools/Quotient/quotient_info.ML \ |
312 Tools/Quotient/quotient_tacs.ML \ |
312 Tools/Quotient/quotient_tacs.ML \ |
313 Tools/Quotient/quotient_term.ML \ |
313 Tools/Quotient/quotient_term.ML \ |
314 Tools/Quotient/quotient_typ.ML \ |
314 Tools/Quotient/quotient_typ.ML \ |
315 Tools/recdef.ML \ |
315 Tools/recdef.ML \ |
|
316 Tools/Sledgehammer/meson_tactic.ML \ |
316 Tools/Sledgehammer/metis_tactics.ML \ |
317 Tools/Sledgehammer/metis_tactics.ML \ |
317 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
318 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
318 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \ |
319 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
320 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
320 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |
321 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |
|
322 Tools/Sledgehammer/sledgehammer_isar.ML \ |
321 Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ |
323 Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ |
322 Tools/string_code.ML \ |
324 Tools/string_code.ML \ |
323 Tools/string_syntax.ML \ |
325 Tools/string_syntax.ML \ |
324 Tools/transfer.ML \ |
326 Tools/transfer.ML \ |
325 Tools/TFL/casesplit.ML \ |
327 Tools/TFL/casesplit.ML \ |