matita/components/binaries/matex/test/legacy_1.conf.xml

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3 <!--
   4 matita.lambdadelta.legacy_1.coq.defs.eq.eq.type
   5 matita.lambdadelta.legacy_1.coq.defs.ex2.ex2.type
   6 matita.lambdadelta.legacy_1.coq.defs.ex.ex.type
   7 matita.lambdadelta.legacy_1.coq.defs.land.land.type
   8 matita.lambdadelta.legacy_1.coq.defs.le.le.type
   9 matita.lambdadelta.legacy_1.coq.defs.lt.type
  10 matita.lambdadelta.legacy_1.coq.defs.minus.minus.type
  11 matita.lambdadelta.legacy_1.coq.defs.nat.S.type
  12 matita.lambdadelta.legacy_1.coq.defs.not.type
  13 matita.lambdadelta.legacy_1.coq.defs.or.or.type
  14 matita.lambdadelta.legacy_1.coq.defs.plus.plus.type
  15 matita.lambdadelta.legacy_1.coq.defs.pred.type
  16 -->
  17 </helm_registry>