equal
deleted
inserted
replaced
15 |
15 |
16 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
16 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
17 Alexander Krauss, QAware GmbH |
17 Alexander Krauss, QAware GmbH |
18 Faster and more scalable Import mechanism for HOL Light proofs. |
18 Faster and more scalable Import mechanism for HOL Light proofs. |
19 |
19 |
20 * January 2012: Florian Haftmann, TUM, et. al. |
20 * January 2012: Florian Haftmann, TUM, et al. |
21 (Re-)Introduction of the "set" type constructor. |
21 (Re-)Introduction of the "set" type constructor. |
|
22 |
|
23 * 2011/2012: Jasmin Blanchette, TUM |
|
24 Various improvements to Sledgehammer, notably: tighter integration |
|
25 with SPASS, support for more provers (Alt-Ergo, iProver, iProver-Eq). |
22 |
26 |
23 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI |
27 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI |
24 Various refinements of local theory infrastructure. |
28 Various refinements of local theory infrastructure. |
25 Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE. |
29 Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE. |
26 |
30 |