1.1 --- a/src/HOL/Tools/primrec_package.ML	Fri May 21 21:15:10 2004 +0200
     1.2 +++ b/src/HOL/Tools/primrec_package.ML	Fri May 21 21:15:22 2004 +0200
     1.3 @@ -136,7 +136,7 @@
     1.4  
     1.5      fun trans eqns ((cname, cargs), (fnames', fnss', fns)) =
     1.6        (case assoc (eqns, cname) of
     1.7 -          None => (warning ("no equation for constructor " ^ quote cname ^
     1.8 +          None => (warning ("No equation for constructor " ^ quote cname ^
     1.9              "\nin definition of function " ^ quote fname);
    1.10                (fnames', fnss', (Const ("arbitrary", dummyT))::fns))
    1.11          | Some (ls, cargs', rs, rhs, eq) =>