--- a/src/HOL/Prolog/Type.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOL/Prolog/Type.thy Sat Dec 01 18:52:32 2001 +0100 @@ -4,7 +4,7 @@ types ty -arities ty :: term +arities ty :: type consts bool :: ty nat :: ty