diff -r c7be23634728 -r 6d4c3ee8219d src/HOL/Induct/Com.thy
--- a/src/HOL/Induct/Com.thy	Tue Feb 22 16:47:18 2011 +0100
+++ b/src/HOL/Induct/Com.thy	Tue Feb 22 17:06:14 2011 +0100
@@ -10,7 +10,7 @@
 theory Com imports Main begin
 
 typedecl loc
-types  state = "loc => nat"
+type_synonym state = "loc => nat"
 
 datatype
   exp = N nat