src/HOLCF/SetPcpo.thy
changeset 26921 5d9f78c3d6de
parent 26837 535290c908ae
child 27180 51f3f3557ef4
--- a/src/HOLCF/SetPcpo.thy	Thu May 15 22:57:54 2008 +0200
+++ b/src/HOLCF/SetPcpo.thy	Fri May 16 21:41:07 2008 +0200
@@ -16,7 +16,7 @@
   less_bool_def: "(op \<sqsubseteq>) = (op \<longrightarrow>)"
 
 instance
-by (intro_classes, auto simp add: less_bool_def)
+by (intro_classes, unfold less_bool_def, safe)
 
 end