equal
deleted
inserted
replaced
19 |
19 |
20 Contributions to Isabelle2016 |
20 Contributions to Isabelle2016 |
21 ----------------------------- |
21 ----------------------------- |
22 |
22 |
23 * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy, |
23 * Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy, |
24 Ecole polytechnique, Andreas Lochbihler, ETH Zurich, and Dmitriy Traytel, |
24 Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu, |
25 ETH Zurich |
25 Middlesex University, and Dmitriy Traytel, ETH Zurich |
26 'corec' command and friends. |
26 'corec' command and friends. |
27 |
27 |
28 * Winter 2016: Manuel Eberl, TUM |
28 * Winter 2016: Manuel Eberl, TUM |
29 Support for real exponentiation ("powr") in the "approximation" method. |
29 Support for real exponentiation ("powr") in the "approximation" method. |
30 (This was removed in Isabelle 2015 due to a changed definition of "powr".) |
30 (This was removed in Isabelle 2015 due to a changed definition of "powr".) |