changeset 410 | c8171ee32744 |
parent 380 | daca5b594fb3 |
child 512 | 55755ed9fab9 |
--- a/src/Pure/library.ML Wed Jun 01 13:18:35 1994 +0200 +++ b/src/Pure/library.ML Wed Jun 01 15:42:25 1994 +0200 @@ -18,8 +18,8 @@ fun K x y = x; (*reverse apply*) -infix also; -fun (x also f) = f x; +infix |>; +fun (x |> f) = f x; (*combine two functions forming the union of their domains*) infix orelf;