equal
deleted
inserted
replaced
50 (only makes sense in practice, if outer syntax is delimited |
50 (only makes sense in practice, if outer syntax is delimited |
51 differently). |
51 differently). |
52 |
52 |
53 |
53 |
54 *** HOL *** |
54 *** HOL *** |
|
55 |
|
56 * Simproc "finite_Collect" is no longer enabled by default, due to |
|
57 spurious crashes and other surprises. Potential INCOMPATIBILITY. |
55 |
58 |
56 * Moved new (co)datatype package and its dependencies from "HOL-BNF" to "HOL". |
59 * Moved new (co)datatype package and its dependencies from "HOL-BNF" to "HOL". |
57 The "bnf", "wrap_free_constructors", "datatype_new", "codatatype", |
60 The "bnf", "wrap_free_constructors", "datatype_new", "codatatype", |
58 "primrec_new", "primcorec", and "primcorecursive" command are now part of |
61 "primrec_new", "primcorec", and "primcorecursive" command are now part of |
59 "Main". |
62 "Main". |