update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / pGroundArith.mrc

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc
index 226e772f3242a23d42d00f995cd3f93289351f95..89e9878c290a72690bd5a8d4d68fee6a49abbb95 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/pGroundArith.mrc
@@ -1,2 +1,3 @@
 PcsPar p "" true false
 (semigroup properties)
+(decidability)