X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fxoa.conf.xml;h=662b9e51655bb3e0dc95b279aeb88e3bc452819c;hb=037b48dbbc0b4373ad1e43d837ac9158787486ef;hp=ddc63af0ecd8e6f8692d58c9fc2294d2e2192626;hpb=0dec595530e6da8ca16af84e40b59c998e6ed4af;p=helm.git
diff --git a/matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml b/matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml
index ddc63af0e..662b9e516 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml
+++ b/matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml
@@ -35,6 +35,7 @@
6 5
6 6
6 7
+ 7 4
7 7
3
4