]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/matex/test/legacy_1.conf.xml
606b6b7762255ecf1cc8e80d4a449cc286b52ee2
[helm.git] / matita / components / binaries / matex / test / legacy_1.conf.xml
1 <?xml version="1.0" encoding="utf-8"?>
2 <helm_registry>
3   <section name="matex.notation">
4     <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex.ex.type LEx 2 1</key>
5     <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type LEx 3 1</key>
6     <key name="const">matita.lambdadelta.legacy_1.coq.defs.land.land.type LAnd 2 0</key>
7     <key name="const">matita.lambdadelta.legacy_1.coq.defs.or.or.type LOr 2 0</key>
8
9     <key name="const">matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3 0</key>
10     <key name="const">matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2 0</key>
11     <key name="const">matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2 0</key>
12     <key name="const">matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2 0</key>
13     <key name="const">matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1 0</key>
14     <key name="const">matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1 0</key>
15     <key name="const">matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2 0</key>
16     <key name="const">matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1 0</key>
17   </section>
18 </helm_registry>