equal
deleted
inserted
replaced
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * March 2012: Nik Sultana, University of Cambridge |
|
10 HOL/TPTP parser and import facilities. |
8 |
11 |
9 * January 2012: Florian Haftmann, TUM, et. al. |
12 * January 2012: Florian Haftmann, TUM, et. al. |
10 (Re-)Introduction of the "set" type constructor. |
13 (Re-)Introduction of the "set" type constructor. |
11 |
14 |
12 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
15 * March 2012: Cezary Kaliszyk, University of Innsbruck and |