src/HOL/Tools/etc/options
changeset 57028 e5466055e94f
parent 56623 4675df68450e
child 57089 353652f47974
     1.1 --- a/src/HOL/Tools/etc/options	Tue May 20 21:13:21 2014 +0200
     1.2 +++ b/src/HOL/Tools/etc/options	Tue May 20 22:28:08 2014 +0200
     1.3 @@ -35,3 +35,5 @@
     1.4  public option z3_non_commercial : string = "unknown"
     1.5    -- "status of Z3 activation for non-commercial use (yes, no, unknown)"
     1.6  
     1.7 +public option maSh : string = "none"
     1.8 +  -- "machine learning engine to use by Sledgehammer (sml, sml_knn, sml_nb, py, none)"