equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * January 2011: Florian Haftmann, TUM, et. al. |
9 * January 2012: Florian Haftmann, TUM, et. al. |
10 (Re-)Introduction of the "set" type constructor. |
10 (Re-)Introduction of the "set" type constructor. |
|
11 |
|
12 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
|
13 Alexander Krauss, QAware GmbH |
|
14 Faster and more scalable Import mechanism for HOL Light proofs. |
11 |
15 |
12 |
16 |
13 Contributions to Isabelle2011-1 |
17 Contributions to Isabelle2011-1 |
14 ------------------------------- |
18 ------------------------------- |
15 |
19 |