src/Pure/library.ML
changeset 24979 783bf93c8f92
parent 24864 f33ff5fc1f7e
child 25058 d8d8bac48031
     1.1 --- a/src/Pure/library.ML	Thu Oct 11 19:10:20 2007 +0200
     1.2 +++ b/src/Pure/library.ML	Thu Oct 11 19:10:21 2007 +0200
     1.3 @@ -22,7 +22,6 @@
     1.4    val undefined: 'a -> 'b
     1.5    val I: 'a -> 'a
     1.6    val K: 'a -> 'b -> 'a
     1.7 -  val flip: ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
     1.8    val curry: ('a * 'b -> 'c) -> 'a -> 'b -> 'c
     1.9    val uncurry: ('a -> 'b -> 'c) -> 'a * 'b -> 'c
    1.10    val |>>> : ('a * 'c) * ('a -> 'b * 'd) -> 'b * ('c * 'd)
    1.11 @@ -244,7 +243,6 @@
    1.12  
    1.13  fun I x = x;
    1.14  fun K x = fn _ => x;
    1.15 -fun flip f x y = f y x;
    1.16  fun curry f x y = f (x, y);
    1.17  fun uncurry f (x, y) = f x y;
    1.18