src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Tue May 20 21:13:21 2014 +0200
+++ b/src/HOL/Tools/etc/options	Tue May 20 22:28:08 2014 +0200
@@ -35,3 +35,5 @@
 public option z3_non_commercial : string = "unknown"
   -- "status of Z3 activation for non-commercial use (yes, no, unknown)"
 
+public option maSh : string = "none"
+  -- "machine learning engine to use by Sledgehammer (sml, sml_knn, sml_nb, py, none)"