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

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="matex.alpha">
   4     <key name="type">matita.lambdadelta.basic_1.T.defs.B.B.type b I</key>
   5     <key name="type">matita.lambdadelta.basic_1.T.defs.B.B.type ee I</key>
   6     <key name="type">matita.lambdadelta.basic_1.T.defs.B.B.type x I</key>
   7
   8     <key name="type">matita.lambdadelta.basic_1.T.defs.F.F.type ee I</key>
   9     <key name="type">matita.lambdadelta.basic_1.T.defs.F.F.type f I</key>
  10     <key name="type">matita.lambdadelta.basic_1.T.defs.F.F.type x I</key>
  11
  12     <key name="type">matita.lambdadelta.basic_1.T.defs.K.K.type e I</key>
  13     <key name="type">matita.lambdadelta.basic_1.T.defs.K.K.type ee I</key>
  14     <key name="type">matita.lambdadelta.basic_1.T.defs.K.K.type k I</key>
  15     <key name="type">matita.lambdadelta.basic_1.T.defs.K.K.type h I</key>
  16     <key name="type">matita.lambdadelta.basic_1.T.defs.K.K.type x I</key>
  17
  18     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type _ X</key>
  19     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type a X</key>
  20     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type c L</key>
  21     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type d L</key>
  22     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type e K</key>
  23     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type ee X</key>
  24     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type x X</key>
  25     <key name="type">matita.lambdadelta.basic_1.C.defs.C.C.type y Y</key>
  26
  27     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type _ X</key>
  28     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type e X</key>
  29     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type ee X</key>
  30     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type t T</key>
  31     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type u U</key>
  32     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type v V</key>
  33     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type w W</key>
  34     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type wi W</key>
  35     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type x X</key>
  36     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type y Y</key>
  37     <key name="type">matita.lambdadelta.basic_1.T.defs.T.T.type z Z</key>
  38
  39     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type _ Xs</key>
  40     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type e Xs</key>
  41     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ee Xs</key>
  42     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type t Ts</key>
  43     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ts Ts</key>
  44     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ul Us</key>
  45     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type us Us</key>
  46     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type vs Vs</key>
  47     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type ws Ws</key>
  48     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type xs Xs</key>
  49     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type x Xs</key>
  50     <key name="type">matita.lambdadelta.basic_1.tlist.defs.TList.TList.type y Ys</key>
  51
  52     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type _ X</key>
  53     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type a A</key>
  54     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type b B</key>
  55     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type e X</key>
  56     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type ee X</key>
  57     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type l X</key>
  58     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type x X</key>
  59     <key name="type">matita.lambdadelta.basic_1.A.defs.A.A.type y Y</key>
  60
  61     <key name="type">matita.lambdadelta.basic_1.G.defs.G.G.type g h</key>
  62
  63     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type _ x</key>
  64     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type d' d</key>
  65     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type d d</key>
  66     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type e e</key>
  67     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type ee e</key>
  68     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type f f</key>
  69     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type g g</key>
  70     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type h h</key>
  71     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type i i</key>
  72     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type j j</key>
  73     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type k k</key>
  74     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type l l</key>
  75     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type m m</key>
  76     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type n n</key>
  77     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type next f</key>
  78     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type v v</key>
  79     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type w w</key>
  80     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type x x</key>
  81     <key name="type">matita.lambdadelta.legacy_1.coq.defs.nat.nat.type y y</key>
  82
  83     <key name="type">matita.lambdadelta.legacy_1.coq.defs.bool.bool.type b b</key>
  84     <key name="type">matita.lambdadelta.legacy_1.coq.defs.bool.bool.type x x</key>
  85
  86     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type _ f</key>
  87     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type e f</key>
  88     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type ee f</key>
  89     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type hds f</key>
  90     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type is f</key>
  91     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type p f</key>
  92     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type q f</key>
  93     <key name="type">matita.lambdadelta.ground_1.plist.defs.PList.PList.type y f</key>
  94
  95     <key name="type">Prop P R</key>
  96     <key name="type">Prop Q R</key>
  97
  98     <key name="type">Type[cic:/matita/pts/Type0.univ] P S</key>
  99
 100     <key name="sort">Prop H H</key>
 101     <key name="sort">Prop Hle H</key>
 102     <key name="sort">Prop IH IH</key>
 103     <key name="sort">Prop IHc IH</key>
 104     <key name="sort">Prop IHd IH</key>
 105     <key name="sort">Prop IHe IH</key>
 106     <key name="sort">Prop IHh IH</key>
 107     <key name="sort">Prop IHi IH</key>
 108     <key name="sort">Prop IHj IH</key>
 109     <key name="sort">Prop IHn IH</key>
 110     <key name="sort">Prop IHx IH</key>
 111     <key name="sort">Prop a H</key>
 112     <key name="sort">Prop c H</key>
 113     <key name="sort">Prop d H</key>
 114     <key name="sort">Prop e H</key>
 115     <key name="sort">Prop f H</key>
 116     <key name="sort">Prop g H</key>
 117     <key name="sort">Prop h H</key>
 118     <key name="sort">Prop i H</key>
 119     <key name="sort">Prop l H</key>
 120     <key name="sort">Prop n H</key>
 121     <key name="sort">Prop p H</key>
 122     <key name="sort">Prop s H</key>
 123     <key name="sort">Prop t H</key>
 124     <key name="sort">Prop w H</key>
 125     <key name="sort">Prop x H</key>
 126
 127     <key name="sort">Type[cic:/matita/pts/Type0.univ] f a</key>
 128   </section>
 129 <!--
 130 matita.lambdadelta.basic_1.A.defs.A.AHead.type
 131 matita.lambdadelta.basic_1.A.defs.A.ASort.type
 132 matita.lambdadelta.basic_1.A.fwd.A_rect.A_rect.type
 133 matita.lambdadelta.basic_1.aplus.defs.aplus.aplus.type
 134 matita.lambdadelta.basic_1.app.defs.app1.app1.type
 135 matita.lambdadelta.basic_1.app.defs.cbk.cbk.type
 136 matita.lambdadelta.basic_1.aprem.defs.aprem.aprem.type
 137 matita.lambdadelta.basic_1.arity.defs.arity.arity.type
 138 matita.lambdadelta.basic_1.asucc.defs.asucc.asucc.type
 139 matita.lambdadelta.basic_1.C.defs.C.CHead.type
 140 matita.lambdadelta.basic_1.C.defs.C.CSort.type
 141 matita.lambdadelta.basic_1.C.defs.cle.type
 142 matita.lambdadelta.basic_1.C.defs.clt.type
 143 matita.lambdadelta.basic_1.C.defs.CTail.CTail.type
 144 matita.lambdadelta.basic_1.C.defs.cweight.cweight.type
 145 matita.lambdadelta.basic_1.C.fwd.C_rect.C_rect.type
 146 matita.lambdadelta.basic_1.cimp.defs.cimp.type
 147 matita.lambdadelta.basic_1.clear.defs.clear.clear.type
 148 matita.lambdadelta.basic_1.clen.defs.clen.clen.type
 149 matita.lambdadelta.basic_1.cnt.defs.cnt.cnt.type
 150 matita.lambdadelta.basic_1.csuba.defs.csuba.csuba.type
 151 matita.lambdadelta.basic_1.csubc.defs.csubc.csubc.type
 152 matita.lambdadelta.basic_1.csubst0.defs.csubst0.csubst0.type
 153 matita.lambdadelta.basic_1.csubst1.defs.csubst1.csubst1.type
 154 matita.lambdadelta.basic_1.csubt.defs.csubt.csubt.type
 155 matita.lambdadelta.basic_1.csubv.defs.csubv.csubv.type
 156 matita.lambdadelta.basic_1.drop1.defs.drop1.drop1.type
 157 matita.lambdadelta.basic_1.drop1.defs.ptrans.ptrans.type
 158 matita.lambdadelta.basic_1.drop.defs.drop.drop.type
 159 matita.lambdadelta.basic_1.ex0.defs.leqz.leqz.type
 160 matita.lambdadelta.basic_1.flt.defs.flt.type
 161 matita.lambdadelta.basic_1.flt.defs.fweight.type
 162 matita.lambdadelta.basic_1.fsubst0.defs.fsubst0.fsubst0.type
 163 matita.lambdadelta.basic_1.G.defs.G.mk_G.type
 164 matita.lambdadelta.basic_1.G.defs.next.next.type
 165 matita.lambdadelta.basic_1.getl.defs.getl.getl.type
 166 matita.lambdadelta.basic_1.iso.defs.iso.iso.type
 167 matita.lambdadelta.basic_1.leq.defs.leq.leq.type
 168 matita.lambdadelta.basic_1.lift1.defs.lift1.lift1.type
 169 matita.lambdadelta.basic_1.lift1.defs.lifts1.lifts1.type
 170 matita.lambdadelta.basic_1.lift1.defs.trans.trans.type
 171 matita.lambdadelta.basic_1.lift.defs.lifts.lifts.type
 172 matita.lambdadelta.basic_1.lift.defs.lift.type
 173 matita.lambdadelta.basic_1.lift.defs.lref_map.lref_map.type
 174 matita.lambdadelta.basic_1.llt.defs.llt.type
 175 matita.lambdadelta.basic_1.llt.defs.lweight.lweight.type
 176 matita.lambdadelta.basic_1.next_plus.defs.next_plus.next_plus.type
 177 matita.lambdadelta.basic_1.nf2.defs.nf2.type
 178 matita.lambdadelta.basic_1.nf2.defs.nfs2.nfs2.type
 179 matita.lambdadelta.basic_1.pc1.defs.pc1.type
 180 matita.lambdadelta.basic_1.pc3.defs.pc3_left.pc3_left.type
 181 matita.lambdadelta.basic_1.pc3.defs.pc3.type
 182 matita.lambdadelta.basic_1.pr0.defs.pr0.pr0.type
 183 matita.lambdadelta.basic_1.pr1.defs.pr1.pr1.type
 184 matita.lambdadelta.basic_1.pr2.defs.pr2.pr2.type
 185 matita.lambdadelta.basic_1.pr3.defs.pr3.pr3.type
 186 matita.lambdadelta.basic_1.r.defs.r.type
 187 matita.lambdadelta.basic_1.sc3.defs.sc3.sc3.type
 188 matita.lambdadelta.basic_1.s.defs.s.type
 189 matita.lambdadelta.basic_1.sn3.defs.sn3.sn3.type
 190 matita.lambdadelta.basic_1.sn3.defs.sns3.sns3.type
 191 matita.lambdadelta.basic_1.sty0.defs.sty0.sty0.type
 192 matita.lambdadelta.basic_1.sty1.defs.sty1.sty1.type
 193 matita.lambdadelta.basic_1.subst0.defs.subst0.subst0.type
 194 matita.lambdadelta.basic_1.subst1.defs.subst1.subst1.type
 195 matita.lambdadelta.basic_1.subst.defs.subst.subst.type
 196 matita.lambdadelta.basic_1.T.defs.K.Bind.type
 197 matita.lambdadelta.basic_1.T.defs.K.Flat.type
 198 matita.lambdadelta.basic_1.T.defs.tle.type
 199 matita.lambdadelta.basic_1.T.defs.T.THead.type
 200 matita.lambdadelta.basic_1.T.defs.T.TLRef.type
 201 matita.lambdadelta.basic_1.T.defs.T.TSort.type
 202 matita.lambdadelta.basic_1.T.defs.tweight.tweight.type
 203 matita.lambdadelta.basic_1.T.fwd.T_rect.T_rect.type
 204 matita.lambdadelta.basic_1.tlist.defs.TApp.TApp.type
 205 matita.lambdadelta.basic_1.tlist.defs.THeads.THeads.type
 206 matita.lambdadelta.basic_1.tlist.defs.TList.TCons.type
 207 matita.lambdadelta.basic_1.tlist.defs.tslen.tslen.type
 208 matita.lambdadelta.basic_1.tlist.defs.tslt.type
 209 matita.lambdadelta.basic_1.tlt.defs.tlt.type
 210 matita.lambdadelta.basic_1.tlt.defs.wadd.type
 211 matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type
 212 matita.lambdadelta.basic_1.tlt.defs.weight.type
 213 matita.lambdadelta.basic_1.ty3.defs.ty3.ty3.type
 214 matita.lambdadelta.basic_1.ty3.defs.tys3.tys3.type
 215 matita.lambdadelta.basic_1.ty3.nf2.ty3_nf2_inv_abst_premise.type
 216 matita.lambdadelta.basic_1.wcpr0.defs.wcpr0.wcpr0.type
 217 matita.lambdadelta.basic_1.wf3.defs.wf3.wf3.type
 218 -->
 219 </helm_registry>