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=8adc7626b83c71bc440f4d465d2848be2b798ad0;hpb=58ede527a29e92f47321820421a3d8d0735daad8;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 8adc7626b..a5d7bdd5d 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
+++ b/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
@@ -5,6 +5,51 @@
ground_2/xoa
ground_2/notation/xoa
basics/pts.ma
+ 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