changeset 57713 | 9e4d2f7ad0a0 |
parent 57704 | c0da3fc313e3 |
child 57718 | 892e8e7a42b3 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Wed Jul 30 14:03:13 2014 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Wed Jul 30 14:03:13 2014 +0200 @@ -258,7 +258,6 @@ val canonical_isar_supported_prover = eN val z3N = "z3" -val veriT_newN = "veriT" fun isar_supported_prover_of thy name = if is_atp thy name orelse name = z3N then name