--- a/src/HOL/TLA/Inc/Inc.thy Thu Sep 11 19:26:59 2014 +0200
+++ b/src/HOL/TLA/Inc/Inc.thy Thu Sep 11 19:32:36 2014 +0200
@@ -9,7 +9,7 @@
begin
(* program counter as an enumeration type *)
-datatype_new pcount = a | b | g
+datatype pcount = a | b | g
axiomatization
(* program variables *)