288 Tools/Groebner_Basis/normalizer_data.ML \ |
288 Tools/Groebner_Basis/normalizer_data.ML \ |
289 Tools/choice_specification.ML \ |
289 Tools/choice_specification.ML \ |
290 Tools/int_arith.ML \ |
290 Tools/int_arith.ML \ |
291 Tools/list_code.ML \ |
291 Tools/list_code.ML \ |
292 Tools/meson.ML \ |
292 Tools/meson.ML \ |
293 Tools/metis_tools.ML \ |
|
294 Tools/nat_numeral_simprocs.ML \ |
293 Tools/nat_numeral_simprocs.ML \ |
295 Tools/numeral.ML \ |
294 Tools/numeral.ML \ |
296 Tools/numeral_simprocs.ML \ |
295 Tools/numeral_simprocs.ML \ |
297 Tools/numeral_syntax.ML \ |
296 Tools/numeral_syntax.ML \ |
298 Tools/polyhash.ML \ |
297 Tools/polyhash.ML \ |
313 Tools/Quotient/quotient_info.ML \ |
312 Tools/Quotient/quotient_info.ML \ |
314 Tools/Quotient/quotient_tacs.ML \ |
313 Tools/Quotient/quotient_tacs.ML \ |
315 Tools/Quotient/quotient_term.ML \ |
314 Tools/Quotient/quotient_term.ML \ |
316 Tools/Quotient/quotient_typ.ML \ |
315 Tools/Quotient/quotient_typ.ML \ |
317 Tools/recdef.ML \ |
316 Tools/recdef.ML \ |
318 Tools/res_atp.ML \ |
|
319 Tools/res_axioms.ML \ |
|
320 Tools/res_blacklist.ML \ |
317 Tools/res_blacklist.ML \ |
321 Tools/res_clause.ML \ |
318 Tools/Sledgehammer/metis_tactics.ML \ |
322 Tools/res_hol_clause.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
323 Tools/res_reconstruct.ML \ |
320 Tools/Sledgehammer/sledgehammer_fact_preprocessor.ML \ |
|
321 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
|
322 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |
|
323 Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ |
324 Tools/string_code.ML \ |
324 Tools/string_code.ML \ |
325 Tools/string_syntax.ML \ |
325 Tools/string_syntax.ML \ |
326 Tools/transfer.ML \ |
326 Tools/transfer.ML \ |
327 Tools/TFL/casesplit.ML \ |
327 Tools/TFL/casesplit.ML \ |
328 Tools/TFL/dcterm.ML \ |
328 Tools/TFL/dcterm.ML \ |