--- a/src/HOL/IMP/Expr.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOL/IMP/Expr.thy Sat Dec 01 18:52:32 2001 +0100 @@ -15,7 +15,7 @@ n2n = "nat => nat" n2n2n = "nat => nat => nat" -arities loc :: term +arities loc :: type datatype aexp = N nat