equal
deleted
inserted
replaced
16 * Fall 2012: Steffen Smolka, TUM |
16 * Fall 2012: Steffen Smolka, TUM |
17 Various improvements to Sledgehammer's Isar proof generator, |
17 Various improvements to Sledgehammer's Isar proof generator, |
18 including a smart type annotation algorithm and proof shrinking. |
18 including a smart type annotation algorithm and proof shrinking. |
19 |
19 |
20 * December 2012: Alessandro Coglio, Kestrel |
20 * December 2012: Alessandro Coglio, Kestrel |
21 Contributions to HOL's Lattice library |
21 Contributions to HOL's Lattice library. |
22 |
22 |
23 * November 2012: Fabian Immler, TUM |
23 * November 2012: Fabian Immler, TUM |
24 "Symbols" dockable for Isabelle/jEdit. |
24 "Symbols" dockable for Isabelle/jEdit. |
25 |
25 |
26 * November 2012: Fabian Immler, TUM |
26 * November 2012: Fabian Immler, TUM |