matita/components/binaries/matex/test/macros_0.txt

   1 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.AHead.type (0)
   2 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.ASort.type (0)
   3 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.A.type (0)
   4 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.fwd.A_rect.A_rect.type (0)
   5 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.CHead.type (0)
   6 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.CSort.type (0)
   7 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.C.type (0)
   8 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.fwd.C_rect.C_rect.type (0)
   9 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex0.defs.gz.type (0)
  10 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex1.defs.ex1_c.type (0)
  11 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex1.defs.ex1_t.type (0)
  12 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex2.defs.ex2_c.type (0)
  13 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex2.defs.ex2_t.type (0)
  14 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.G.defs.G.G.type (0)
  15 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Abbr.type (0)
  16 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Abst.type (0)
  17 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.B.type (0)
  18 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Void.type (0)
  19 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.Appl.type (0)
  20 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.Cast.type (0)
  21 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.F.type (0)
  22 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.Bind.type (0)
  23 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.Flat.type (0)
  24 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.K.type (0)
  25 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.THead.type (0)
  26 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.TLRef.type (0)
  27 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.TSort.type (0)
  28 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.T.type (0)
  29 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.fwd.T_rect.T_rect.type (0)
  30 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TCons.type (0)
  31 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TList.type (0)
  32 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TNil.type (0)
  33 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.wadd.type (0)
  34 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.wadd.type (3)
  35 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type (0)
  36 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type (1)
  37 MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ty3.nf2.ty3_nf2_inv_abst_premise.type (0)
  38 MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PCons.type (0)
  39 MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PList.type (0)
  40 MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PNil.type (0)
  41 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.bool.type (0)
  42 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.false.type (0)
  43 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.true.type (0)
  44 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.nat.type (0)
  45 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.O.type (0)
  46 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.S.type (0)
  47 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.True.True.type (0)
  48 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.props.lt_n_Sn.type (0)
  49 MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.preamble.False.False.type (0)
  50 MaTeX: processing test/Make.objs