1.1 --- a/src/Pure/library.ML	Mon Nov 27 23:48:10 2006 +0100
     1.2 +++ b/src/Pure/library.ML	Tue Nov 28 00:35:18 2006 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    val curry: ('a * 'b -> 'c) -> 'a -> 'b -> 'c
     1.5    val uncurry: ('a -> 'b -> 'c) -> 'a * 'b -> 'c
     1.6    val |>>> : ('a * 'c) * ('a -> 'b * 'd) -> 'b * ('c * 'd)
     1.7 -  val ? : ('a -> bool) * ('a -> 'a) -> 'a -> 'a
     1.8 +  val ? : bool * ('a -> 'a) -> 'a -> 'a
     1.9    val oo: ('a -> 'b) * ('c -> 'd -> 'a) -> 'c -> 'd -> 'b
    1.10    val ooo: ('a -> 'b) * ('c -> 'd -> 'e -> 'a) -> 'c -> 'd -> 'e -> 'b
    1.11    val oooo: ('a -> 'b) * ('c -> 'd -> 'e -> 'f -> 'a) -> 'c -> 'd -> 'e -> 'f -> 'b
    1.12 @@ -271,7 +271,7 @@
    1.13  fun (x, y) |>>> f = let val (x', z) = f x in (x', (y, z)) end;
    1.14  
    1.15  (*conditional application*)
    1.16 -fun b ? f = fn x => if b x then f x else x;
    1.17 +fun b ? f = fn x => if b then f x else x;
    1.18  
    1.19  (*composition with multiple args*)
    1.20  fun (f oo g) x y = f (g x y);