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