diff -r 54fcef4db0db -r c8171ee32744 src/Pure/library.ML
--- 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;