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 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel |
|
10 A new conditional paramertricity prover. |
8 |
11 |
9 * October 2017: Alexander Maletzky |
12 * October 2017: Alexander Maletzky |
10 Derivation of axiom "iff" in HOL.thy from the other axioms. |
13 Derivation of axiom "iff" in HOL.thy from the other axioms. |
11 |
14 |
12 Contributions to Isabelle2017 |
15 Contributions to Isabelle2017 |