# HG changeset patch
# User wenzelm
# Date 1238498619 -7200
# Node ID 10dc9bc264b7f6af23da57aab047d02a9be37846
# Parent  a0863fcd9bbfe50f30ab9466e7875635df007028
tuned;

diff -r a0863fcd9bbf -r 10dc9bc264b7 src/HOL/Set.thy
--- a/src/HOL/Set.thy	Tue Mar 31 12:07:17 2009 +0200
+++ b/src/HOL/Set.thy	Tue Mar 31 13:23:39 2009 +0200
@@ -2384,7 +2384,7 @@
   unfolding Inf_bool_def by auto
 
 lemma not_Sup_empty_bool [simp]:
-  "\<not> Sup {}"
+  "\<not> \<Squnion>{}"
   unfolding Sup_bool_def by auto