equal
deleted
inserted
replaced
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 |
22 |
23 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI |
23 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI |
|
24 Various refinements of local theory infrastructure. |
24 Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE. |
25 Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE. |
25 |
26 |
26 |
27 |
27 Contributions to Isabelle2011-1 |
28 Contributions to Isabelle2011-1 |
28 ------------------------------- |
29 ------------------------------- |