equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * January 2019: Andreas Lochbihler |
|
10 New implementation for case_of_simps based on Code_Lazy's |
|
11 pattern matching elimination algorithm. |
8 |
12 |
9 * October 2018: Mathias Fleury |
13 * October 2018: Mathias Fleury |
10 Proof reconstruction for the SMT solver veriT in the smt method |
14 Proof reconstruction for the SMT solver veriT in the smt method |
11 |
15 |
12 |
16 |