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