src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Mon Jan 13 18:47:48 2014 +0100
+++ b/src/HOL/Tools/etc/options	Mon Jan 13 20:20:44 2014 +0100
@@ -29,3 +29,6 @@
 public option sledgehammer_timeout : int = 30
   -- "ATPs will be interrupted after this time (in seconds)"
 
+public option z3_non_commercial : string = "unknown"
+  -- "status of Z3 activation for non-commercial use (yes, no, unknown)"
+