X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fshare.ml;h=600ae9d858a2e4b406fbb50be6445e418e184494;hb=ab739c4972971725f59c52275a3257ebf524143f;hp=019cca982ddab5b8b68335089d898ddaedffbc7e;hpb=f3b4d265268a43ca98e6843b733109fdfe3f6b0b;p=helm.git

diff --git a/helm/software/lambda-delta/lib/share.ml b/helm/software/lambda-delta/lib/share.ml
index 019cca982..600ae9d85 100644
--- a/helm/software/lambda-delta/lib/share.ml
+++ b/helm/software/lambda-delta/lib/share.ml
@@ -11,6 +11,11 @@
 
 let sh a b =
    if a == b then a else b
-   
-let sh2 a1 b1 a2 b2 c1 c2 =
+
+let sh1 a1 a2 b1 b2 =
+   if a1 == a2 then b1 else b2 (sh a1 a2)
+
+let sh2 a1 a2 b1 b2 c1 c2 =
    if a1 == a2 && b1 == b2 then c1 else c2 (sh a1 a2) (sh b1 b2)
+
+let eq a b = (a == b) || (a = b)