src/HOL/Tools/etc/options
author wenzelm
Sat, 13 Jul 2013 14:11:48 +0200
changeset 52645 e8c1c5612677
parent 52639 df830310e550
child 52651 5adb5c69af97
permissions -rw-r--r--
clarified some default options;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52639
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     1
(* :mode=isabelle-options: *)
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     2
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     3
section {* Isabelle/HOL proof tools *}
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     4
52645
e8c1c5612677 clarified some default options;
wenzelm
parents: 52639
diff changeset
     5
public option auto_time_limit : real = 2.0
52639
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     6
  -- "time limit for automatically tried tools (seconds > 0)"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     7
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     8
public option auto_nitpick : bool = false
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
     9
  -- "run Nitpick automatically"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    10
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    11
public option auto_sledgehammer : bool = false
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    12
  -- "run Sledgehammer automatically"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    13
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    14
public option auto_try0 : bool = false
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    15
  -- "try standard proof methods automatically"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    16
52645
e8c1c5612677 clarified some default options;
wenzelm
parents: 52639
diff changeset
    17
public option auto_quickcheck : bool = true
52639
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    18
  -- "run Quickcheck automatically"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    19
52645
e8c1c5612677 clarified some default options;
wenzelm
parents: 52639
diff changeset
    20
public option auto_solve_direct : bool = true
52639
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    21
  -- "run solve_direct automatically"
df830310e550 system options for Isabelle/HOL proof tools;
wenzelm
parents:
diff changeset
    22