--- a/src/Doc/Isar_Ref/Synopsis.thy Thu Sep 11 18:54:36 2014 +0200
+++ b/src/Doc/Isar_Ref/Synopsis.thy Thu Sep 11 18:54:36 2014 +0200
@@ -1068,7 +1068,7 @@
provide suitable derived cases rules.
*}
-datatype foo = Foo | Bar foo
+datatype_new foo = Foo | Bar foo
notepad
begin