equal
deleted
inserted
replaced
61 PARALLEL_GOALS. |
61 PARALLEL_GOALS. |
62 |
62 |
63 * Old and new SMT modules: |
63 * Old and new SMT modules: |
64 - The old 'smt' command has been renamed 'old_smt' and moved to |
64 - The old 'smt' command has been renamed 'old_smt' and moved to |
65 'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until |
65 'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until |
66 applications have been ported to use the new 'smt2' command. For the |
66 applications have been ported to use the new 'smt' command. For the |
67 command to work, an older version of Z3 (e.g. Z3 3.2 or 4.0) must be |
67 command to work, an older version of Z3 (e.g. Z3 3.2 or 4.0) must be |
68 installed, and the environment variable "OLD_Z3_SOLVER" must point to |
68 installed, and the environment variable "OLD_Z3_SOLVER" must point to |
69 it. |
69 it. |
70 INCOMPATIBILITY. |
70 INCOMPATIBILITY. |
71 - The 'smt2' command has been renamed 'smt'. |
71 - The 'smt2' command has been renamed 'smt'. |