src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Sat Jul 20 16:29:06 2013 +0200
+++ b/src/HOL/Tools/etc/options	Sat Jul 20 16:45:00 2013 +0200
@@ -14,7 +14,7 @@
 public option auto_sledgehammer : bool = false
   -- "run Sledgehammer automatically"
 
-public option auto_try0 : bool = false
+public option auto_methods : bool = false
   -- "try standard proof methods automatically"
 
 public option auto_quickcheck : bool = true