X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Fground_1.conf.xml;h=aff4fc4dd48b40c2199265571907b3b538db9dfb;hb=c992745a40b4ac8b6c5285bf9c5eff26c423f236;hp=77d65746f153c69057c610ddc20a9bc7f69c796e;hpb=e9caa75be87bdbd68d8ca2d7291f623bec6b93aa;p=helm.git

diff --git a/matita/components/binaries/matex/test/ground_1.conf.xml b/matita/components/binaries/matex/test/ground_1.conf.xml
index 77d65746f..aff4fc4dd 100644
--- a/matita/components/binaries/matex/test/ground_1.conf.xml
+++ b/matita/components/binaries/matex/test/ground_1.conf.xml
@@ -1,29 +1,29 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-<!--
-matita.lambdadelta.ground_1.types.defs.ex2_2.ex2_2.type
-matita.lambdadelta.ground_1.types.defs.ex2_3.ex2_3.type
-matita.lambdadelta.ground_1.types.defs.ex_2.ex_2.type
-matita.lambdadelta.ground_1.types.defs.ex3_2.ex3_2.type
-matita.lambdadelta.ground_1.types.defs.ex3_3.ex3_3.type
-matita.lambdadelta.ground_1.types.defs.ex3_4.ex3_4.type
-matita.lambdadelta.ground_1.types.defs.ex_3.ex_3.type
-matita.lambdadelta.ground_1.types.defs.ex3.ex3.type
-matita.lambdadelta.ground_1.types.defs.ex4_2.ex4_2.type
-matita.lambdadelta.ground_1.types.defs.ex4_3.ex4_3.type
-matita.lambdadelta.ground_1.types.defs.ex4_4.ex4_4.type
-matita.lambdadelta.ground_1.types.defs.ex4_5.ex4_5.type
-matita.lambdadelta.ground_1.types.defs.ex4.ex4.type
-matita.lambdadelta.ground_1.types.defs.ex5_3.ex5_3.type
-matita.lambdadelta.ground_1.types.defs.ex6_6.ex6_6.type
-matita.lambdadelta.ground_1.types.defs.or3.or3.type
-matita.lambdadelta.ground_1.types.defs.or4.or4.type
-matita.lambdadelta.ground_1.types.defs.and3.and3.type
+  <section name="matex.notation">
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex_2.ex_2.type LEx 3 2</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex_3.ex_3.type LEx 4 3</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex2_2.ex2_2.type LEx 4 2</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex2_3.ex2_3.type LEx 5 3</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex3.ex3.type LEx 4 1</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex3_2.ex3_2.type LEx 5 2</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex3_3.ex3_3.type LEx 6 3</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex3_4.ex3_4.type LEx 7 4</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex4.ex4.type LEx 5 1</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex4_2.ex4_2.type LEx 6 2</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex4_3.ex4_3.type LEx 7 3</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex4_4.ex4_4.type LEx 8 4</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex4_5.ex4_5.type LEx 9 5</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex5_3.ex5_3.type LEx 8 3</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.ex6_6.ex6_6.type LEx 12 6</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.and3.and3.type LAnd 3 0</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.or3.or3.type LOr 3 0</key>
+    <key name="const">matita.lambdadelta.ground_1.types.defs.or4.or4.type LOr 4 0</key>
 
-matita.lambdadelta.ground_1.blt.defs.blt.blt.type
-matita.lambdadelta.ground_1.plist.defs.papp.papp.type
-matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type
-matita.lambdadelta.ground_1.plist.defs.PList.PCons.type
-matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type
--->
+    <key name="const">matita.lambdadelta.ground_1.blt.defs.blt.blt.type FunLt 2 0</key>
+    <key name="const">matita.lambdadelta.ground_1.plist.defs.papp.papp.type Append 2 0</key>
+    <key name="const">matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type RevConsB 3 0</key>
+    <key name="const">matita.lambdadelta.ground_1.plist.defs.PList.PCons.type ConsB 3 0</key>
+    <key name="const">matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type Succ 1 0</key>
+  </section>
 </helm_registry>