equal
deleted
inserted
replaced
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
6 |
6 |
7 *** HOL *** |
7 *** HOL *** |
|
8 |
|
9 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since |
|
10 Isabelle2013). Use "isabelle build" to operate on Isabelle sessions. |
8 |
11 |
9 * Numeric types mapped by default to target language numerals: |
12 * Numeric types mapped by default to target language numerals: |
10 natural (replaces former code_numeral) and integer (replaces |
13 natural (replaces former code_numeral) and integer (replaces |
11 former code_int). Conversions are available as integer_of_natural / |
14 former code_int). Conversions are available as integer_of_natural / |
12 natural_of_integer / integer_of_nat / nat_of_integer (in HOL) and |
15 natural_of_integer / integer_of_nat / nat_of_integer (in HOL) and |