src/Pure/library.ML
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;