--- a/src/HOL/IMP/Com.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOL/IMP/Com.thy Sat Dec 01 18:52:32 2001 +0100 @@ -16,7 +16,7 @@ aexp = state => val bexp = state => bool -arities loc :: term +arities loc :: type datatype com = SKIP