| changeset 57266 | 6a3b5085fb8f |
| parent 57265 | cab38f7a3adb |
| child 58061 | 3d060f43accb |
--- a/src/HOL/Sledgehammer.thy Mon Jun 16 19:41:01 2014 +0200 +++ b/src/HOL/Sledgehammer.thy Mon Jun 16 19:41:42 2014 +0200 @@ -33,8 +33,4 @@ ML_file "Tools/Sledgehammer/sledgehammer.ML" ML_file "Tools/Sledgehammer/sledgehammer_commands.ML" -lemma "1 + 1 = (2::nat)" -sledgehammer [remote_waldmeister, max_facts = 3, verbose, overlord] -oops - end