src/HOL/Codatatype/Examples/Misc_Data.thy

  and s6 = S61 s6 | S62 s1 s2 | S63 s6
  and s7 = S71 s8 | S72 s5
  and s8 = S8 nat
 *)
 
-data ('a, 'b) bar = BAR "'b \<Rightarrow> 'a"
-data ('a, 'b, 'c, 'd) foo = FOO "'d + 'b \<Rightarrow> 'c + 'a"
+data ('a, 'b) bar = Bar "'b \<Rightarrow> 'a"
+data ('a, 'b, 'c, 'd) foo = Foo "'d + 'b \<Rightarrow> 'c + 'a"
 
 data 'a dead_foo = A
 data ('a, 'b) use_dead_foo = Y "'a" "'b dead_foo"
 
 end