src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Mon Aug 24 17:19:41 2020 +0200
+++ b/src/HOL/Tools/etc/options	Mon Aug 24 17:58:04 2020 +0200
@@ -40,3 +40,6 @@
 
 public option kodkod_scala : bool = false
   -- "invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process)"
+
+public option kodkod_max_threads : int = 0
+  -- "default max_threads for Nitpick/Kodkod (0: maximum of Java/Scala platform)"