equal
deleted
inserted
replaced
14 |
14 |
15 *** HOL *** |
15 *** HOL *** |
16 |
16 |
17 * Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}. |
17 * Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}. |
18 |
18 |
19 * Constant "card" now with authentic syntax. |
19 * Constants "card", "internal_split", "option_map" now with authentic syntax. |
|
20 |
|
21 * Definitions subset_def, psubset_def, set_diff_def, Compl_def, le_bool_def, |
|
22 less_bool_def, le_fun_def, less_fun_def, inf_bool_def, sup_bool_def, |
|
23 Inf_bool_def, Sup_bool_def, inf_fun_def, sup_fun_def, Inf_fun_def, Sup_fun_def, |
|
24 inf_set_def, sup_set_def, Inf_set_def, Sup_set_def, le_def, less_def, |
|
25 option_map_def now with object equality. |
20 |
26 |
21 |
27 |
22 |
28 |
23 New in Isabelle2007 (November 2007) |
29 New in Isabelle2007 (November 2007) |
24 ----------------------------------- |
30 ----------------------------------- |