MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.AHead.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.ASort.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.defs.A.A.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.A.fwd.A_rect.A_rect.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.CHead.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.CSort.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.defs.C.C.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.C.fwd.C_rect.C_rect.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex0.defs.gz.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex1.defs.ex1_c.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex1.defs.ex1_t.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex2.defs.ex2_c.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ex2.defs.ex2_t.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.G.defs.G.G.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Abbr.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Abst.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.B.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.B.Void.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.Appl.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.Cast.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.F.F.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.Bind.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.Flat.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.K.K.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.THead.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.TLRef.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.TSort.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.defs.T.T.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.T.fwd.T_rect.T_rect.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TCons.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TList.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlist.defs.TList.TNil.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.wadd.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.wadd.type (3)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.tlt.defs.weight_map.weight_map.type (1)
MaTeX: engine: missing macro for matita.lambdadelta.basic_1.ty3.nf2.ty3_nf2_inv_abst_premise.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PCons.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PList.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.ground_1.plist.defs.PList.PNil.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.bool.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.false.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.bool.true.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.nat.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.O.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.nat.S.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.defs.True.True.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.coq.props.lt_n_Sn.type (0)
MaTeX: engine: missing macro for matita.lambdadelta.legacy_1.preamble.False.False.type (0)
MaTeX: processing test/Make.objs