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