- <key name="const">matita.lambdadelta.legacy_1.coq.defs.eq.eq.type EQ 3 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.le.le.type LE 2 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.lt.type LT 2 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.minus.minus.type Minus 2 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.nat.S.type Succ 1 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.not.type LNot 1 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.plus.plus.type Plus 2 0</key>
- <key name="const">matita.lambdadelta.legacy_1.coq.defs.pred.type Pred 1 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.eq.eq.type EQ 3 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.le.le.type LE 2 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.lt.type LT 2 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.minus.minus.type Minus 2 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.nat.S.type Succ 1 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.not.type LNot 1 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.plus.plus.type Plus 2 0</key>
+ <key name="const">$(devel.legacy1).coq.defs.pred.type Pred 1 0</key>