--- a/src/HOL/IMP/Com.thy Thu Sep 11 19:26:59 2014 +0200
+++ b/src/HOL/IMP/Com.thy Thu Sep 11 19:32:36 2014 +0200
@@ -2,7 +2,7 @@
theory Com imports BExp begin
-datatype_new
+datatype
com = SKIP
| Assign vname aexp ("_ ::= _" [1000, 61] 61)
| Seq com com ("_;;/ _" [60, 61] 60)