equal
deleted
inserted
replaced
18 |
18 |
19 * Numerous HOL library improvements, including HOL-Algebra. |
19 * Numerous HOL library improvements, including HOL-Algebra. |
20 |
20 |
21 * Substantial additions to HOL-Analysis. |
21 * Substantial additions to HOL-Analysis. |
22 |
22 |
|
23 * HOL-Library.Code_Lazy: code generation for lazy evaluation. |
|
24 |
|
25 * HOL-Real_Asymp: tools for semi-automatic real asymptotics. |
|
26 |
23 * Isabelle server for reactive communication with other programs. |
27 * Isabelle server for reactive communication with other programs. |
24 |
28 |
25 * More uniform 64-bit platform support: smaller Isabelle application. |
29 * More uniform 64-bit platform support: smaller Isabelle application. |
26 |
30 |
27 |
31 |