added equal, not_equal: ''a -> ''a -> bool
authorwenzelm
Mon Nov 29 11:08:17 1993 +0100 (1993-11-29)
changeset 16080ccb6c354ba
parent 159 3d0324f9417b
child 161 d77bd6c76c03
added equal, not_equal: ''a -> ''a -> bool
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Fri Nov 26 16:35:38 1993 +0100
     1.2 +++ b/src/Pure/library.ML	Mon Nov 29 11:08:17 1993 +0100
     1.3 @@ -36,6 +36,14 @@
     1.4    in boolf end;
     1.5  
     1.6  
     1.7 +(** curried equality **)
     1.8 +
     1.9 +fun equal x y = (x = y);
    1.10 +
    1.11 +fun not_equal x y = x <> y;
    1.12 +
    1.13 +
    1.14 +
    1.15  (*** Lists ***)
    1.16  
    1.17  exception LIST of string;