equal
deleted
inserted
replaced
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 |
18 |
|
19 * 2011: Andreas Lochbihler, Karlsruhe Institute of Technology |
|
20 Theory HOL/Library/Cset_Monad allows do notation for computable |
|
21 sets (cset) via the generic monad ad-hoc overloading facility. |
19 |
22 |
20 Contributions to Isabelle2011 |
23 Contributions to Isabelle2011 |
21 ----------------------------- |
24 ----------------------------- |
22 |
25 |
23 * January 2011: Stefan Berghofer, secunet Security Networks AG |
26 * January 2011: Stefan Berghofer, secunet Security Networks AG |