equal
deleted
inserted
replaced
9 |
9 |
10 *** HOL *** |
10 *** HOL *** |
11 |
11 |
12 * SMT module: |
12 * SMT module: |
13 - The 'smt_oracle' option is now necessary when using the 'smt' method |
13 - The 'smt_oracle' option is now necessary when using the 'smt' method |
14 with a solver other than Z3. |
14 with a solver other than Z3. INCOMPATIBILITY. |
15 |
15 |
16 |
16 |
17 New in Isabelle2017 (October 2017) |
17 New in Isabelle2017 (October 2017) |
18 ---------------------------------- |
18 ---------------------------------- |
19 |
19 |