]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/matex/test/macros_0.txt
- matex: notational macros for 0-ary constants
[helm.git] / 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