--- a/src/Pure/library.ML Fri Nov 26 16:35:38 1993 +0100
+++ b/src/Pure/library.ML Mon Nov 29 11:08:17 1993 +0100
@@ -36,6 +36,14 @@
in boolf end;
+(** curried equality **)
+
+fun equal x y = (x = y);
+
+fun not_equal x y = x <> y;
+
+
+
(*** Lists ***)
exception LIST of string;