src/HOL/Set.thy
changeset 22478 110f7f6f8a5d
parent 22455 f6f22aba2e0e
child 22744 5cbe966d67a2
--- a/src/HOL/Set.thy	Tue Mar 20 08:27:22 2007 +0100
+++ b/src/HOL/Set.thy	Tue Mar 20 08:27:23 2007 +0100
@@ -87,7 +87,7 @@
   "_Ball"       :: "pttrn => 'a set => bool => bool"      ("(3ALL _:_./ _)" [0, 0, 10] 10)
   "_Bex"        :: "pttrn => 'a set => bool => bool"      ("(3EX _:_./ _)" [0, 0, 10] 10)
   "_Bex1"       :: "pttrn => 'a set => bool => bool"      ("(3EX! _:_./ _)" [0, 0, 10] 10)
-  "_Bleast"       :: "id => 'a set => bool => 'a"      ("(3LEAST _:_./ _)" [0, 0, 10] 10)
+  "_Bleast"     :: "id => 'a set => bool => 'a"           ("(3LEAST _:_./ _)" [0, 0, 10] 10)
 
 syntax (HOL)
   "_Ball"       :: "pttrn => 'a set => bool => bool"      ("(3! _:_./ _)" [0, 0, 10] 10)