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