equal
deleted
inserted
replaced
27 |
27 |
28 * December 2013: Florian Haftmann, TUM |
28 * December 2013: Florian Haftmann, TUM |
29 Consolidation of abstract interpretations concerning min and max. |
29 Consolidation of abstract interpretations concerning min and max. |
30 |
30 |
31 * November 2013: Florian Haftmann, TUM |
31 * November 2013: Florian Haftmann, TUM |
32 Abolishment of negative numeral literals in the logic. |
32 Abolition of negative numeral literals in the logic. |
33 |
33 |
34 |
34 |
35 Contributions to Isabelle2013-1 |
35 Contributions to Isabelle2013-1 |
36 ------------------------------- |
36 ------------------------------- |
37 |
37 |