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

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3 <!--
   4 matita.lambdadelta.ground_1.types.defs.ex2_2.ex2_2.type
   5 matita.lambdadelta.ground_1.types.defs.ex2_3.ex2_3.type
   6 matita.lambdadelta.ground_1.types.defs.ex_2.ex_2.type
   7 matita.lambdadelta.ground_1.types.defs.ex3_2.ex3_2.type
   8 matita.lambdadelta.ground_1.types.defs.ex3_3.ex3_3.type
   9 matita.lambdadelta.ground_1.types.defs.ex3_4.ex3_4.type
  10 matita.lambdadelta.ground_1.types.defs.ex_3.ex_3.type
  11 matita.lambdadelta.ground_1.types.defs.ex3.ex3.type
  12 matita.lambdadelta.ground_1.types.defs.ex4_2.ex4_2.type
  13 matita.lambdadelta.ground_1.types.defs.ex4_3.ex4_3.type
  14 matita.lambdadelta.ground_1.types.defs.ex4_4.ex4_4.type
  15 matita.lambdadelta.ground_1.types.defs.ex4_5.ex4_5.type
  16 matita.lambdadelta.ground_1.types.defs.ex4.ex4.type
  17 matita.lambdadelta.ground_1.types.defs.ex5_3.ex5_3.type
  18 matita.lambdadelta.ground_1.types.defs.ex6_6.ex6_6.type
  19 matita.lambdadelta.ground_1.types.defs.or3.or3.type
  20 matita.lambdadelta.ground_1.types.defs.or4.or4.type
  21 matita.lambdadelta.ground_1.types.defs.and3.and3.type
  22
  23 matita.lambdadelta.ground_1.blt.defs.blt.blt.type
  24 matita.lambdadelta.ground_1.plist.defs.papp.papp.type
  25 matita.lambdadelta.ground_1.plist.defs.PConsTail.PConsTail.type
  26 matita.lambdadelta.ground_1.plist.defs.PList.PCons.type
  27 matita.lambdadelta.ground_1.plist.defs.Ss.Ss.type
  28 -->
  29 </helm_registry>