equal
deleted
inserted
replaced
295 Tools/ATP/atp_problem.ML \ |
295 Tools/ATP/atp_problem.ML \ |
296 Tools/ATP/atp_proof.ML \ |
296 Tools/ATP/atp_proof.ML \ |
297 Tools/ATP/atp_systems.ML \ |
297 Tools/ATP/atp_systems.ML \ |
298 Tools/choice_specification.ML \ |
298 Tools/choice_specification.ML \ |
299 Tools/code_evaluation.ML \ |
299 Tools/code_evaluation.ML \ |
300 Tools/Datatype/datatype_selectors.ML \ |
|
301 Tools/int_arith.ML \ |
300 Tools/int_arith.ML \ |
302 Tools/groebner.ML \ |
301 Tools/groebner.ML \ |
303 Tools/list_code.ML \ |
302 Tools/list_code.ML \ |
304 Tools/nat_numeral_simprocs.ML \ |
303 Tools/nat_numeral_simprocs.ML \ |
305 Tools/Nitpick/kodkod.ML \ |
304 Tools/Nitpick/kodkod.ML \ |
354 Tools/Sledgehammer/sledgehammer_util.ML \ |
353 Tools/Sledgehammer/sledgehammer_util.ML \ |
355 Tools/smallvalue_generators.ML \ |
354 Tools/smallvalue_generators.ML \ |
356 Tools/SMT/smtlib_interface.ML \ |
355 Tools/SMT/smtlib_interface.ML \ |
357 Tools/SMT/smt_builtin.ML \ |
356 Tools/SMT/smt_builtin.ML \ |
358 Tools/SMT/smt_config.ML \ |
357 Tools/SMT/smt_config.ML \ |
|
358 Tools/SMT/smt_datatypes.ML \ |
359 Tools/SMT/smt_failure.ML \ |
359 Tools/SMT/smt_failure.ML \ |
360 Tools/SMT/smt_monomorph.ML \ |
360 Tools/SMT/smt_monomorph.ML \ |
361 Tools/SMT/smt_normalize.ML \ |
361 Tools/SMT/smt_normalize.ML \ |
362 Tools/SMT/smt_setup_solvers.ML \ |
362 Tools/SMT/smt_setup_solvers.ML \ |
363 Tools/SMT/smt_solver.ML \ |
363 Tools/SMT/smt_solver.ML \ |