equal
deleted
inserted
replaced
13 Refined theory on complete lattices. |
13 Refined theory on complete lattices. |
14 |
14 |
15 * 2011: Makarius Wenzel, Université Paris-Sud / LRI |
15 * 2011: Makarius Wenzel, Université Paris-Sud / LRI |
16 Various building blocks for Isabelle/Scala layer and Isabelle/jEdit |
16 Various building blocks for Isabelle/Scala layer and Isabelle/jEdit |
17 Prover IDE. |
17 Prover IDE. |
|
18 |
|
19 * 2011: Jasmin Blanchette, TUM |
|
20 Various improvements to Sledgehammer, notably: use of sound translations, |
|
21 support for more provers (Waldmeister, LEO-II, Satallax). Further development |
|
22 of Nitpick and "try". |
18 |
23 |
19 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology |
24 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology |
20 Theory HOL/Library/Cset_Monad allows do notation for computable |
25 Theory HOL/Library/Cset_Monad allows do notation for computable |
21 sets (cset) via the generic monad ad-hoc overloading facility. |
26 sets (cset) via the generic monad ad-hoc overloading facility. |
22 |
27 |