1 <?xml version="1.0" encoding="utf-8"?>
3 <section name="matex.notation">
4 <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex.ex.type LExAA 2</key>
5 <key name="const">matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type LExBA 3</key>
6 <key name="const">matita.lambdadelta.legacy_1.coq.defs.land.land.type LAndB 2</key>
7 <key name="const">matita.lambdadelta.legacy_1.coq.defs.or.or.type LOrB 2</key>
9 <key name="const">matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3</key>
10 <key name="const">matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2</key>
11 <key name="const">matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2</key>
12 <key name="const">matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2</key>
13 <key name="const">matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1</key>
14 <key name="const">matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1</key>
15 <key name="const">matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2</key>
16 <key name="const">matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1</key>