X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FbGroundLib.mrc;h=78ef1dd353dacace9c95c7fa39a469333220100a;hp=fdc93273550b54a2ac4875bf61639b5d053743d1;hb=ca318d6d92098c3a65c9f0841174ca110c82e064;hpb=ae626612bff9c3746dd7647bbada791c737e348c

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc
index fdc932735..78ef1dd35 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/bGroundLib.mrc
@@ -1,4 +1,5 @@
 PcsAnd b "" true false
+ex4
 eq
 land
 lsub