diff -r 3413b1cf30cd -r 57c0d60e491c NEWS
--- a/NEWS	Sun May 29 14:10:48 2016 +0200
+++ b/NEWS	Sun May 29 14:43:17 2016 +0200
@@ -100,6 +100,9 @@
 
 *** HOL ***
 
+* Command 'code_reflect' accepts empty constructor lists for datatypes,
+which renders those abstract effectively.
+
 * Probability/Random_Permutations.thy contains some theory about 
 choosing a permutation of a set uniformly at random and folding over a 
 list in random order.