X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fxoa2.conf.xml;h=a5d7bdd5d6c2838e75e5221eab3ae241afc3e147;hb=d8d00d6f6694155be5be486a8239f5953efe28b7;hp=149052483a4e8256c62a2cabbe441a46075a9261;hpb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;p=helm.git
diff --git a/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml b/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
index 149052483..a5d7bdd5d 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
+++ b/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
@@ -5,9 +5,51 @@
ground_2/xoa
ground_2/notation/xoa
basics/pts.ma
- 2 4
+ 3
+ 4
+ 1 2
+ 1 3
+ 1 4
+ 2 2
+ 2 3
+ 3 1
+ 3 2
+ 3 3
+ 3 4
+ 3 5
+ 4 1
+ 4 2
+ 4 3
+ 4 4
+ 4 5
5 1
+ 5 2
+ 5 3
+ 5 4
+ 5 5
+ 5 6
5 7
+ 6 3
+ 6 4
+ 6 5
+ 6 6
+ 6 7
+ 6 8
+ 6 9
+ 7 3
+ 7 4
+ 7 5
+ 7 6
+ 7 7
+ 7 8
+ 7 9
+ 7 10
+ 8 4
+ 8 5
+ 8 10
9 3
+ 3
+ 4
+ 5