avoid useless code equations

--- a/src/HOL/Predicate.thy	Fri Jul 03 08:51:34 2009 +0200
+++ b/src/HOL/Predicate.thy	Fri Jul 03 16:51:06 2009 +0200
@@ -388,10 +388,10 @@
   "P \<squnion> Q = Pred (eval P \<squnion> eval Q)"
 
 definition
-  "\<Sqinter>A = Pred (INFI A eval)"
+  [code del]: "\<Sqinter>A = Pred (INFI A eval)"
 
 definition
-  "\<Squnion>A = Pred (SUPR A eval)"
+  [code del]: "\<Squnion>A = Pred (SUPR A eval)"
 
 instance by default
   (auto simp add: less_eq_pred_def less_pred_def