mended type constraint\!

--- a/src/HOL/ex/cla.ML	Sat Nov 01 13:00:03 1997 +0100
+++ b/src/HOL/ex/cla.ML	Sat Nov 01 13:00:31 1997 +0100
@@ -89,7 +89,7 @@
 result();
 
 (*11.  Proved in each direction (incorrectly, says Pelletier!!)  *)
-goal HOL.thy "P=P::bool";
+goal HOL.thy "P=(P::bool)";
 by (Blast_tac 1);
 result();