equal
deleted
inserted
replaced
17 |
17 |
18 * HOL library enhancements: Complex_Main, HOL-Library, |
18 * HOL library enhancements: Complex_Main, HOL-Library, |
19 HOL-Multivariate_Analysis. |
19 HOL-Multivariate_Analysis. |
20 |
20 |
21 * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer, |
21 * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer, |
22 Nitpick, Sledgehammer, |
22 Nitpick, Sledgehammer. |
23 |
23 |
24 * HOL-BNF: significantly improved BNF-based (co)datatype package. |
24 * HOL-BNF: significantly improved BNF-based (co)datatype package. |
25 |
25 |
26 |
26 |
27 You may get Isabelle2013-1 from the following mirror sites: |
27 You may get Isabelle2013-1 from the following mirror sites: |