equal
deleted
inserted
replaced
7 *** General *** |
7 *** General *** |
8 |
8 |
9 * Parallelization of nested Isar proofs is subject to |
9 * Parallelization of nested Isar proofs is subject to |
10 Goal.parallel_proofs_threshold (default 100). See also isabelle |
10 Goal.parallel_proofs_threshold (default 100). See also isabelle |
11 usedir option -Q. |
11 usedir option -Q. |
|
12 |
|
13 |
|
14 *** HOL *** |
|
15 |
|
16 * Sledgehammer: |
|
17 sledgehammer available_provers ~> sledgehammer supported_provers |
|
18 INCOMPATIBILITY. |
12 |
19 |
13 |
20 |
14 *** Document preparation *** |
21 *** Document preparation *** |
15 |
22 |
16 * New term style "isub" as ad-hoc conversion of variables x1, y23 into |
23 * New term style "isub" as ad-hoc conversion of variables x1, y23 into |