equal
deleted
inserted
replaced
22 Reform of "big operators" on sets. |
22 Reform of "big operators" on sets. |
23 |
23 |
24 * March 2013: Florian Haftmann, TUM |
24 * March 2013: Florian Haftmann, TUM |
25 Algebraic locale hierarchy for orderings and (semi)lattices. |
25 Algebraic locale hierarchy for orderings and (semi)lattices. |
26 |
26 |
27 * Feb. 2013: Florian Haftmann, TUM |
27 * February 2013: Florian Haftmann, TUM |
28 Reworking and consolidation of code generation for target |
28 Reworking and consolidation of code generation for target language |
29 language numerals. |
29 numerals. |
30 |
30 |
31 * Feb. 2013: Florian Haftmann, TUM |
31 * February 2013: Florian Haftmann, TUM |
32 Sieve of Eratosthenes. |
32 Sieve of Eratosthenes. |
33 |
33 |
34 |
34 |
35 Contributions to Isabelle2013 |
35 Contributions to Isabelle2013 |
36 ----------------------------- |
36 ----------------------------- |