X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fxoa2.conf.xml;h=a5d7bdd5d6c2838e75e5221eab3ae241afc3e147;hp=2643ba62098beb740d802a2be56fd6035b124f76;hb=d8d00d6f6694155be5be486a8239f5953efe28b7;hpb=3f57ed2589601e79478c85d74708d8ebdec2cf20
diff --git a/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml b/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
index 2643ba620..a5d7bdd5d 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
+++ b/matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml
@@ -5,10 +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