MaTeX:

[helm.git] / matita / components / binaries / matex / test / legacy_1.conf.xml

diff --git a/matita/components/binaries/matex/test/legacy_1.conf.xml b/matita/components/binaries/matex/test/legacy_1.conf.xml
index 056d1dc31c079083719c384ac128e3871bc6926b..e215669f8284e3bf8cbfe5c7ab111f09b41804eb 100644 (file)
--- a/matita/components/binaries/matex/test/legacy_1.conf.xml
+++ b/matita/components/binaries/matex/test/legacy_1.conf.xml
@@ -1,17 +1,18 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-<!--
-matita.lambdadelta.legacy_1.coq.defs.eq.eq.type
-matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type
-matita.lambdadelta.legacy_1.coq.defs.ex.ex.type
-matita.lambdadelta.legacy_1.coq.defs.land.land.type
-matita.lambdadelta.legacy_1.coq.defs.le.le.type
-matita.lambdadelta.legacy_1.coq.defs.lt.type
-matita.lambdadelta.legacy_1.coq.defs.minus.minus.type
-matita.lambdadelta.legacy_1.coq.defs.nat.S.type
-matita.lambdadelta.legacy_1.coq.defs.not.type
-matita.lambdadelta.legacy_1.coq.defs.or.or.type
-matita.lambdadelta.legacy_1.coq.defs.plus.plus.type
-matita.lambdadelta.legacy_1.coq.defs.pred.type
--->
+  <section name="matex.notation">
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex.ex.type LExAA 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type LExBA 3</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.land.land.type LAndB 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.or.or.type LOrB 2</key>
+
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2</key>
+    <key name="const">matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1</key>
+  </section>
 </helm_registry>