| changeset 63237 | 3e908f762817 |
| parent 63236 | 48bc9045866e |
| child 63246 | c493859d4267 |
| child 63259 | 29fe61d5f748 |
--- a/NEWS Mon Jun 06 16:04:26 2016 +0200 +++ b/NEWS Mon Jun 06 21:28:45 2016 +0200 @@ -108,6 +108,9 @@ *** HOL *** +* Conventional syntax "%(). t" for unit abstractions. Slight syntactic +INCOMPATIBILITY. + * Command 'code_reflect' accepts empty constructor lists for datatypes, which renders those abstract effectively.