1 LambdaDelta-2/csuba/fwd.mma LambdaDelta-1/csuba/fwd.ma LambdaDelta-2/csuba/defs.ma
2 LambdaDelta-1/csubst1/props.ma LambdaDelta-1/csubst1/defs.ma LambdaDelta-1/subst1/defs.ma
3 LambdaDelta-1/asucc/fwd.ma LambdaDelta-1/asucc/defs.ma
4 LambdaDelta-2/ty3/dec.ma LambdaDelta-2/ty3/dec.mma LambdaDelta-2/getl/dec.ma LambdaDelta-2/getl/flt.ma LambdaDelta-2/pc3/dec.ma
5 Base-2/plist/defs.mma Base-2/preamble.ma
6 LambdaDelta-1/leq/defs.ma LambdaDelta-1/aplus/defs.ma
7 LambdaDelta-2/csuba/getl.mma LambdaDelta-1/csuba/getl.ma LambdaDelta-2/csuba/clear.ma LambdaDelta-2/csuba/drop.ma LambdaDelta-2/getl/clear.ma
8 LambdaDelta-1/pc3/props.ma LambdaDelta-1/pc3/defs.ma LambdaDelta-1/pr3/pr3.ma
9 LambdaDelta-2/sn3/fwd.mma LambdaDelta-1/sn3/fwd.ma LambdaDelta-2/pr3/props.ma LambdaDelta-2/sn3/defs.ma
10 LambdaDelta-2/lift1/fwd.mma LambdaDelta-1/lift1/fwd.ma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/lift1/defs.ma
11 Legacy-1/theory.ma Legacy-1/coq/props.ma
12 LambdaDelta-2/drop1/defs.mma LambdaDelta-2/drop/defs.ma LambdaDelta-2/lift1/defs.ma
13 LambdaDelta-2/cnt/props.ma LambdaDelta-2/cnt/props.mma LambdaDelta-2/cnt/defs.ma LambdaDelta-2/lift/fwd.ma
14 LambdaDelta-2/nf2/fwd.ma LambdaDelta-2/nf2/fwd.mma LambdaDelta-2/T/props.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/clen.ma LambdaDelta-2/subst0/dec.ma
15 LambdaDelta-2/csubst1/defs.ma LambdaDelta-2/csubst1/defs.mma LambdaDelta-2/csubst0/defs.ma
16 LambdaDelta-2/ty3/pr3.ma LambdaDelta-2/ty3/pr3.mma LambdaDelta-2/csubt/ty3.ma LambdaDelta-2/pc1/props.ma LambdaDelta-2/pc3/pc1.ma LambdaDelta-2/pc3/wcpr0.ma LambdaDelta-2/ty3/fsubst0.ma LambdaDelta-2/ty3/subst1.ma
17 LambdaDelta-1/csubst0/props.ma LambdaDelta-1/csubst0/defs.ma
18 LambdaDelta-2/ty3/props.mma LambdaDelta-1/ty3/props.ma LambdaDelta-2/pc3/fwd.ma LambdaDelta-2/ty3/fwd.ma
19 LambdaDelta-2/sc3/arity.ma LambdaDelta-2/sc3/arity.mma LambdaDelta-2/csubc/arity.ma LambdaDelta-2/csubc/drop1.ma LambdaDelta-2/csubc/getl.ma LambdaDelta-2/csubc/props.ma
20 LambdaDelta-2/pr1/props.mma LambdaDelta-1/pr1/props.ma LambdaDelta-2/T/props.ma LambdaDelta-2/pr0/subst1.ma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/subst1/props.ma
21 LambdaDelta-1/iso/props.ma LambdaDelta-1/iso/fwd.ma
22 LambdaDelta-1/lift/tlt.ma LambdaDelta-1/lift/fwd.ma LambdaDelta-1/tlt/props.ma
23 LambdaDelta-2/pc3/dec.ma LambdaDelta-2/pc3/dec.mma LambdaDelta-2/nf2/fwd.ma LambdaDelta-2/ty3/arity_props.ma
24 LambdaDelta-1/next_plus/props.ma LambdaDelta-1/next_plus/defs.ma
25 LambdaDelta-2/csubt/pc3.ma LambdaDelta-2/csubt/pc3.mma LambdaDelta-2/csubt/getl.ma LambdaDelta-2/pc3/left.ma
26 LambdaDelta-1/C/props.ma LambdaDelta-1/C/defs.ma LambdaDelta-1/T/props.ma
27 LambdaDelta-2/pc3/pc1.mma LambdaDelta-1/pc3/pc1.ma LambdaDelta-2/pc1/defs.ma LambdaDelta-2/pc3/defs.ma LambdaDelta-2/pr3/pr1.ma
28 LambdaDelta-2/csubc/clear.ma LambdaDelta-2/csubc/clear.mma LambdaDelta-2/csubc/fwd.ma
29 LambdaDelta-2/subst0/defs.ma LambdaDelta-2/subst0/defs.mma LambdaDelta-2/lift/defs.ma
30 LambdaDelta-1/pr3/pr1.ma LambdaDelta-1/pr1/defs.ma LambdaDelta-1/pr3/defs.ma
31 LambdaDelta-2/clear/props.mma LambdaDelta-1/clear/props.ma LambdaDelta-2/clear/fwd.ma
32 LambdaDelta-1/fsubst0/fwd.ma LambdaDelta-1/fsubst0/defs.ma
33 LambdaDelta-2/ty3/pr3_props.ma LambdaDelta-2/ty3/pr3_props.mma LambdaDelta-2/ty3/pr3.ma
34 LambdaDelta-1/ex0/defs.ma LambdaDelta-1/A/defs.ma LambdaDelta-1/G/defs.ma
35 Legacy-1/coq/defs.ma Legacy-1/preamble.ma
36 LambdaDelta-1/wf3/fwd.ma LambdaDelta-1/wf3/defs.ma
37 LambdaDelta-2/subst0/fwd.ma LambdaDelta-2/subst0/fwd.mma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst0/defs.ma
38 LambdaDelta-2/pr3/iso.mma LambdaDelta-1/pr3/iso.ma LambdaDelta-2/iso/props.ma LambdaDelta-2/pr3/fwd.ma LambdaDelta-2/tlist/props.ma
39 LambdaDelta-1/pc3/wcpr0.ma LambdaDelta-1/pc3/props.ma LambdaDelta-1/wcpr0/getl.ma
40 LambdaDelta-2/getl/dec.ma LambdaDelta-2/getl/dec.mma LambdaDelta-2/getl/props.ma
41 LambdaDelta-2/pr0/subst1.mma LambdaDelta-1/pr0/subst1.ma LambdaDelta-2/pr0/props.ma LambdaDelta-2/subst1/defs.ma
42 LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/csubst0/getl.mma LambdaDelta-2/csubst0/clear.ma LambdaDelta-2/csubst0/drop.ma LambdaDelta-2/getl/fwd.ma
43 LambdaDelta-2/csubc/csuba.ma LambdaDelta-2/csubc/csuba.mma LambdaDelta-2/csubc/defs.ma LambdaDelta-2/sc3/props.ma
44 LambdaDelta-2/pr3/props.mma LambdaDelta-1/pr3/props.ma LambdaDelta-2/pr1/props.ma LambdaDelta-2/pr2/props.ma LambdaDelta-2/pr3/pr1.ma
45 LambdaDelta-1/tlt/defs.ma LambdaDelta-1/T/defs.ma
46 LambdaDelta-2/drop/fwd.mma LambdaDelta-1/drop/fwd.ma LambdaDelta-2/drop/defs.ma
47 LambdaDelta-1/drop/props.ma LambdaDelta-1/drop/fwd.ma LambdaDelta-1/lift/props.ma LambdaDelta-1/r/props.ma
48 LambdaDelta-1/pc1/props.ma LambdaDelta-1/pc1/defs.ma LambdaDelta-1/pr1/pr1.ma
49 LambdaDelta-2/wf3/ty3.mma LambdaDelta-1/wf3/ty3.ma LambdaDelta-2/wf3/getl.ma
50 LambdaDelta-2/T/dec.mma LambdaDelta-1/T/dec.ma LambdaDelta-2/T/defs.ma
51 LambdaDelta-1/subst0/tlt.ma LambdaDelta-1/lift/props.ma LambdaDelta-1/lift/tlt.ma LambdaDelta-1/subst0/defs.ma
52 LambdaDelta-2/aprem/props.mma LambdaDelta-1/aprem/props.ma LambdaDelta-2/aprem/fwd.ma LambdaDelta-2/leq/defs.ma
53 LambdaDelta-2/csubv/props.ma LambdaDelta-2/csubv/props.mma LambdaDelta-2/T/props.ma LambdaDelta-2/csubv/defs.ma
54 LambdaDelta-2/ty3/defs.mma LambdaDelta-2/G/defs.ma LambdaDelta-2/pc3/defs.ma
55 LambdaDelta-2/sn3/lift1.ma LambdaDelta-2/sn3/lift1.mma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/lift1/fwd.ma LambdaDelta-2/sn3/props.ma
56 LambdaDelta-1/sn3/fwd.ma LambdaDelta-1/pr3/props.ma LambdaDelta-1/sn3/defs.ma
57 LambdaDelta-1/T/defs.ma LambdaDelta-1/preamble.ma
58 LambdaDelta-1/asucc/defs.ma LambdaDelta-1/A/defs.ma LambdaDelta-1/G/defs.ma
59 LambdaDelta-2/aplus/defs.ma LambdaDelta-2/aplus/defs.mma LambdaDelta-2/asucc/defs.ma
60 LambdaDelta-2/sc3/props.ma LambdaDelta-2/sc3/props.mma LambdaDelta-2/arity/aprem.ma LambdaDelta-2/arity/lift1.ma LambdaDelta-2/csuba/arity.ma LambdaDelta-2/drop1/getl.ma LambdaDelta-2/drop1/props.ma LambdaDelta-2/lift1/props.ma LambdaDelta-2/llt/props.ma LambdaDelta-2/nf2/lift1.ma LambdaDelta-2/sc3/defs.ma LambdaDelta-2/sn3/lift1.ma
61 LambdaDelta-2/csuba/clear.ma LambdaDelta-2/csuba/clear.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csuba/defs.ma
62 LambdaDelta-1/subst1/subst1.ma LambdaDelta-1/subst0/subst0.ma LambdaDelta-1/subst1/fwd.ma
63 LambdaDelta-2/wcpr0/fwd.mma LambdaDelta-1/wcpr0/fwd.ma LambdaDelta-2/wcpr0/defs.ma
64 LambdaDelta-1/cimp/props.ma LambdaDelta-1/cimp/defs.ma LambdaDelta-1/getl/getl.ma
65 LambdaDelta-2/ty3/nf2.mma LambdaDelta-1/ty3/nf2.ma LambdaDelta-2/nf2/arity.ma LambdaDelta-2/pc3/nf2.ma LambdaDelta-2/ty3/arity.ma
66 LambdaDelta-2/subst1/props.mma LambdaDelta-1/subst1/props.ma LambdaDelta-2/subst0/props.ma LambdaDelta-2/subst1/defs.ma
67 LambdaDelta-2/lift/tlt.mma LambdaDelta-1/lift/tlt.ma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/tlt/props.ma
68 LambdaDelta-2/getl/drop.ma LambdaDelta-2/getl/drop.mma LambdaDelta-2/clear/drop.ma LambdaDelta-2/getl/props.ma
69 LambdaDelta-2/csubst0/props.mma LambdaDelta-1/csubst0/props.ma LambdaDelta-2/csubst0/defs.ma
70 LambdaDelta-1/r/defs.ma LambdaDelta-1/T/defs.ma
71 LambdaDelta-1/ty3/fwd.ma LambdaDelta-1/pc3/props.ma LambdaDelta-1/ty3/defs.ma
72 LambdaDelta-2/nf2/dec.ma LambdaDelta-2/nf2/dec.mma LambdaDelta-2/C/props.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr0/dec.ma LambdaDelta-2/pr2/clen.ma LambdaDelta-2/pr2/fwd.ma
73 LambdaDelta-2/lift/props.ma LambdaDelta-2/lift/props.mma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/s/props.ma
74 LambdaDelta-1/csubst1/defs.ma LambdaDelta-1/csubst0/defs.ma
75 LambdaDelta-1/subst/props.ma LambdaDelta-1/lift/props.ma LambdaDelta-1/subst/fwd.ma LambdaDelta-1/subst0/defs.ma
76 Base-1/theory.ma Base-1/blt/props.ma Base-1/ext/arith.ma Base-1/ext/tactics.ma Base-1/plist/props.ma Base-1/types/props.ma
77 LambdaDelta-1/A/defs.ma LambdaDelta-1/preamble.ma
78 LambdaDelta-2/C/props.mma LambdaDelta-1/C/props.ma LambdaDelta-2/C/defs.ma LambdaDelta-2/T/props.ma
79 LambdaDelta-2/cnt/props.mma LambdaDelta-1/cnt/props.ma LambdaDelta-2/cnt/defs.ma LambdaDelta-2/lift/fwd.ma
80 LambdaDelta-2/csubt/fwd.ma LambdaDelta-2/csubt/fwd.mma LambdaDelta-2/csubt/defs.ma
81 LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/nf2/pr3.mma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr3/pr3.ma
82 LambdaDelta-2/subst1/fwd.ma LambdaDelta-2/subst1/fwd.mma LambdaDelta-2/subst0/props.ma LambdaDelta-2/subst1/defs.ma
83 LambdaDelta-2/subst/defs.mma LambdaDelta-2/lift/defs.ma
84 LambdaDelta-1/pc3/fwd.ma LambdaDelta-1/pc3/props.ma LambdaDelta-1/pr3/fwd.ma
85 LambdaDelta-2/csubt/props.ma LambdaDelta-2/csubt/props.mma LambdaDelta-2/csubt/defs.ma
86 LambdaDelta-2/pr2/pr2.ma LambdaDelta-2/pr2/pr2.mma LambdaDelta-2/getl/props.ma LambdaDelta-2/pr0/pr0.ma LambdaDelta-2/pr2/defs.ma
87 LambdaDelta-2/pc3/subst1.mma LambdaDelta-1/pc3/subst1.ma LambdaDelta-2/pc3/props.ma LambdaDelta-2/pr3/subst1.ma
88 LambdaDelta-1/csuba/fwd.ma LambdaDelta-1/csuba/defs.ma
89 LambdaDelta-2/subst0/dec.ma LambdaDelta-2/subst0/dec.mma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst0/defs.ma
90 LambdaDelta-1/csubst0/getl.ma LambdaDelta-1/csubst0/clear.ma LambdaDelta-1/csubst0/drop.ma LambdaDelta-1/getl/fwd.ma
91 LambdaDelta-2/ty3/sty0.ma LambdaDelta-2/ty3/sty0.mma LambdaDelta-2/sty0/fwd.ma LambdaDelta-2/ty3/pr3_props.ma
92 LambdaDelta-2/pc3/fsubst0.ma LambdaDelta-2/pc3/fsubst0.mma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/fsubst0/defs.ma LambdaDelta-2/pc3/left.ma
93 LambdaDelta-2/wf3/props.mma LambdaDelta-1/wf3/props.ma LambdaDelta-2/app/defs.ma LambdaDelta-2/wf3/ty3.ma
94 LambdaDelta-2/flt/props.mma LambdaDelta-1/flt/props.ma LambdaDelta-2/C/props.ma LambdaDelta-2/flt/defs.ma
95 LambdaDelta-2/llt/defs.mma LambdaDelta-2/A/defs.ma
96 Legacy-1/definitions.ma Legacy-1/coq/defs.ma
97 LambdaDelta-2/csubt/props.mma LambdaDelta-1/csubt/props.ma LambdaDelta-2/csubt/defs.ma
98 LambdaDelta-1/sn3/props.ma LambdaDelta-1/nf2/iso.ma LambdaDelta-1/pr3/iso.ma LambdaDelta-1/sn3/fwd.ma LambdaDelta-1/sn3/nf2.ma
99 LambdaDelta-2/clear/drop.ma LambdaDelta-2/clear/drop.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/drop/fwd.ma
100 LambdaDelta-1/drop1/defs.ma LambdaDelta-1/drop/defs.ma LambdaDelta-1/lift1/defs.ma
101 LambdaDelta-2/ty3/fwd_nf2.ma LambdaDelta-2/ty3/fwd_nf2.mma LambdaDelta-2/nf2/fwd.ma LambdaDelta-2/pc3/nf2.ma LambdaDelta-2/ty3/arity_props.ma
102 LambdaDelta-1/pc3/left.ma LambdaDelta-1/pc3/props.ma
103 LambdaDelta-2/pr3/iso.ma LambdaDelta-2/pr3/iso.mma LambdaDelta-2/iso/props.ma LambdaDelta-2/pr3/fwd.ma LambdaDelta-2/tlist/props.ma
104 LambdaDelta-2/csubt/defs.ma LambdaDelta-2/csubt/defs.mma LambdaDelta-2/ty3/defs.ma
105 LambdaDelta-2/pc3/pc1.ma LambdaDelta-2/pc3/pc1.mma LambdaDelta-2/pc1/defs.ma LambdaDelta-2/pc3/defs.ma LambdaDelta-2/pr3/pr1.ma
106 LambdaDelta-1/definitions.ma LambdaDelta-1/app/defs.ma LambdaDelta-1/aprem/defs.ma LambdaDelta-1/cimp/defs.ma LambdaDelta-1/clen/defs.ma LambdaDelta-1/cnt/defs.ma LambdaDelta-1/csuba/defs.ma LambdaDelta-1/csubc/defs.ma LambdaDelta-1/csubst1/defs.ma LambdaDelta-1/csubt/defs.ma LambdaDelta-1/csubv/defs.ma LambdaDelta-1/ex0/defs.ma LambdaDelta-1/ex1/defs.ma LambdaDelta-1/ex2/defs.ma LambdaDelta-1/flt/defs.ma LambdaDelta-1/fsubst0/defs.ma LambdaDelta-1/iso/defs.ma LambdaDelta-1/llt/defs.ma LambdaDelta-1/next_plus/defs.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pc1/defs.ma LambdaDelta-1/sty1/defs.ma LambdaDelta-1/subst/defs.ma LambdaDelta-1/subst1/defs.ma LambdaDelta-1/tlt/defs.ma LambdaDelta-1/wcpr0/defs.ma LambdaDelta-1/wf3/defs.ma
107 LambdaDelta-1/getl/getl.ma LambdaDelta-1/getl/clear.ma LambdaDelta-1/getl/drop.ma
108 LambdaDelta-2/arity/pr3.mma LambdaDelta-1/arity/pr3.ma LambdaDelta-2/arity/subst0.ma LambdaDelta-2/csuba/arity.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/pr3/defs.ma LambdaDelta-2/wcpr0/getl.ma
109 LambdaDelta-2/pc3/subst1.ma LambdaDelta-2/pc3/subst1.mma LambdaDelta-2/pc3/props.ma LambdaDelta-2/pr3/subst1.ma
110 LambdaDelta-1/csubt/drop.ma LambdaDelta-1/csubt/fwd.ma LambdaDelta-1/drop/fwd.ma
111 LambdaDelta-2/pr2/defs.ma LambdaDelta-2/pr2/defs.mma LambdaDelta-2/getl/defs.ma LambdaDelta-2/pr0/defs.ma
112 LambdaDelta-2/sty1/props.mma LambdaDelta-1/sty1/props.ma LambdaDelta-2/sty0/props.ma LambdaDelta-2/sty1/defs.ma
113 LambdaDelta-2/pr3/defs.mma LambdaDelta-2/pr2/defs.ma
114 LambdaDelta-2/csubv/props.mma LambdaDelta-1/csubv/props.ma LambdaDelta-2/T/props.ma LambdaDelta-2/csubv/defs.ma
115 LambdaDelta-1/ty3/dec.ma LambdaDelta-1/getl/dec.ma LambdaDelta-1/getl/flt.ma LambdaDelta-1/pc3/dec.ma
116 LambdaDelta-2/csuba/defs.ma LambdaDelta-2/csuba/defs.mma LambdaDelta-2/arity/defs.ma
117 LambdaDelta-2/sty1/defs.ma LambdaDelta-2/sty1/defs.mma LambdaDelta-2/sty0/defs.ma
118 LambdaDelta-2/sn3/defs.ma LambdaDelta-2/sn3/defs.mma LambdaDelta-2/pr3/defs.ma
119 LambdaDelta-2/pc1/defs.ma LambdaDelta-2/pc1/defs.mma LambdaDelta-2/pr1/defs.ma
120 LambdaDelta-1/csubst0/fwd.ma LambdaDelta-1/csubst0/defs.ma
121 Base-2/plist/props.ma Base-2/plist/props.mma Base-2/plist/defs.ma
122 LambdaDelta-1/csubv/defs.ma LambdaDelta-1/C/defs.ma
123 LambdaDelta-1/csuba/drop.ma LambdaDelta-1/csuba/fwd.ma LambdaDelta-1/drop/fwd.ma
124 Base-1/definitions.ma Base-1/blt/defs.ma Base-1/plist/defs.ma Base-1/types/defs.ma
125 LambdaDelta-1/nf2/fwd.ma LambdaDelta-1/T/props.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr2/clen.ma LambdaDelta-1/subst0/dec.ma
126 LambdaDelta-1/leq/props.ma LambdaDelta-1/aplus/props.ma LambdaDelta-1/leq/fwd.ma
127 LambdaDelta-1/ty3/pr3.ma LambdaDelta-1/csubt/ty3.ma LambdaDelta-1/pc1/props.ma LambdaDelta-1/pc3/pc1.ma LambdaDelta-1/pc3/wcpr0.ma LambdaDelta-1/ty3/fsubst0.ma LambdaDelta-1/ty3/subst1.ma
128 LambdaDelta-2/lift1/defs.ma LambdaDelta-2/lift1/defs.mma LambdaDelta-2/lift/defs.ma
129 LambdaDelta-2/aprem/fwd.mma LambdaDelta-1/aprem/fwd.ma LambdaDelta-2/aprem/defs.ma
130 LambdaDelta-1/sty0/defs.ma LambdaDelta-1/G/defs.ma LambdaDelta-1/getl/defs.ma
131 Base-2/ext/tactics.ma Base-2/ext/tactics.mma Base-2/preamble.ma
132 LambdaDelta-2/drop1/props.ma LambdaDelta-2/drop1/props.mma LambdaDelta-2/drop/props.ma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/getl/defs.ma
133 LambdaDelta-2/getl/fwd.mma LambdaDelta-1/getl/fwd.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/getl/defs.ma
134 LambdaDelta-1/subst1/defs.ma LambdaDelta-1/subst0/defs.ma
135 LambdaDelta-2/wcpr0/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/pr0/defs.ma
136 LambdaDelta-1/pr0/subst1.ma LambdaDelta-1/pr0/props.ma LambdaDelta-1/subst1/defs.ma
137 LambdaDelta-2/ty3/pr3.mma LambdaDelta-1/ty3/pr3.ma LambdaDelta-2/csubt/ty3.ma LambdaDelta-2/pc1/props.ma LambdaDelta-2/pc3/pc1.ma LambdaDelta-2/pc3/wcpr0.ma LambdaDelta-2/ty3/fsubst0.ma LambdaDelta-2/ty3/subst1.ma
138 LambdaDelta-2/drop/props.mma LambdaDelta-1/drop/props.ma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/r/props.ma
139 LambdaDelta-2/ty3/arity.ma LambdaDelta-2/ty3/arity.mma LambdaDelta-2/arity/pr3.ma LambdaDelta-2/asucc/fwd.ma LambdaDelta-2/ty3/pr3_props.ma
140 LambdaDelta-1/pc3/dec.ma LambdaDelta-1/nf2/fwd.ma LambdaDelta-1/ty3/arity_props.ma
141 LambdaDelta-2/csubst1/defs.mma LambdaDelta-2/csubst0/defs.ma
142 LambdaDelta-2/pr2/defs.mma LambdaDelta-2/getl/defs.ma LambdaDelta-2/pr0/defs.ma
143 LambdaDelta-2/csubst0/clear.mma LambdaDelta-1/csubst0/clear.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/csubst0/props.ma
144 LambdaDelta-2/arity/fwd.mma LambdaDelta-1/arity/fwd.ma LambdaDelta-2/arity/defs.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/leq/asucc.ma
145 Base-1/types/defs.ma Base-1/preamble.ma
146 LambdaDelta-1/cimp/defs.ma LambdaDelta-1/getl/defs.ma
147 LambdaDelta-2/leq/props.mma LambdaDelta-1/leq/props.ma LambdaDelta-2/aplus/props.ma LambdaDelta-2/leq/fwd.ma
148 LambdaDelta-2/subst1/fwd.mma LambdaDelta-1/subst1/fwd.ma LambdaDelta-2/subst0/props.ma LambdaDelta-2/subst1/defs.ma
149 LambdaDelta-2/T/dec.ma LambdaDelta-2/T/dec.mma LambdaDelta-2/T/defs.ma
150 LambdaDelta-2/nf2/pr3.mma LambdaDelta-1/nf2/pr3.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr3/pr3.ma
151 LambdaDelta-2/sty1/cnt.mma LambdaDelta-1/sty1/cnt.ma LambdaDelta-2/cnt/props.ma LambdaDelta-2/sty1/props.ma
152 LambdaDelta-2/pr3/pr1.mma LambdaDelta-1/pr3/pr1.ma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/pr3/defs.ma
153 LambdaDelta-1/lift/defs.ma LambdaDelta-1/s/defs.ma LambdaDelta-1/tlist/defs.ma
154 LambdaDelta-1/cnt/defs.ma LambdaDelta-1/T/defs.ma
155 LambdaDelta-1/csubc/defs.ma LambdaDelta-1/sc3/defs.ma
156 LambdaDelta-1/subst0/subst0.ma LambdaDelta-1/subst0/props.ma
157 LambdaDelta-2/arity/fwd.ma LambdaDelta-2/arity/fwd.mma LambdaDelta-2/arity/defs.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/leq/asucc.ma
158 LambdaDelta-2/app/defs.ma LambdaDelta-2/app/defs.mma LambdaDelta-2/C/defs.ma
159 LambdaDelta-2/T/defs.mma LambdaDelta-2/preamble.ma
160 LambdaDelta-2/pr1/defs.mma LambdaDelta-2/pr0/defs.ma
161 LambdaDelta-1/clen/defs.ma LambdaDelta-1/C/defs.ma LambdaDelta-1/s/defs.ma
162 LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr0/fwd.mma LambdaDelta-2/pr0/props.ma
163 Base-1/types/props.ma Base-1/types/defs.ma
164 LambdaDelta-2/flt/defs.mma LambdaDelta-2/C/defs.ma
165 LambdaDelta-2/leq/fwd.ma LambdaDelta-2/leq/fwd.mma LambdaDelta-2/leq/defs.ma
166 LambdaDelta-1/pr2/subst1.ma LambdaDelta-1/csubst1/fwd.ma LambdaDelta-1/csubst1/getl.ma LambdaDelta-1/getl/drop.ma LambdaDelta-1/pr0/fwd.ma LambdaDelta-1/pr0/subst1.ma LambdaDelta-1/pr2/defs.ma LambdaDelta-1/subst1/subst1.ma
167 LambdaDelta-2/ty3/fwd.mma LambdaDelta-1/ty3/fwd.ma LambdaDelta-2/pc3/props.ma LambdaDelta-2/ty3/defs.ma
168 LambdaDelta-1/T/dec.ma LambdaDelta-1/T/defs.ma
169 LambdaDelta-2/csuba/arity.mma LambdaDelta-1/csuba/arity.ma LambdaDelta-2/arity/props.ma LambdaDelta-2/csuba/getl.ma LambdaDelta-2/csuba/props.ma LambdaDelta-2/csubv/getl.ma
170 LambdaDelta-2/csubst0/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/subst0/defs.ma
171 LambdaDelta-2/drop1/getl.ma LambdaDelta-2/drop1/getl.mma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/getl/drop.ma
172 Base-2/types/defs.mma Base-2/preamble.ma
173 LambdaDelta-2/subst1/subst1.mma LambdaDelta-1/subst1/subst1.ma LambdaDelta-2/subst0/subst0.ma LambdaDelta-2/subst1/fwd.ma
174 LambdaDelta-2/clen/getl.ma LambdaDelta-2/clen/getl.mma LambdaDelta-2/clen/defs.ma LambdaDelta-2/getl/props.ma
175 LambdaDelta-2/fsubst0/fwd.ma LambdaDelta-2/fsubst0/fwd.mma LambdaDelta-2/fsubst0/defs.ma
176 LambdaDelta-2/drop/defs.ma LambdaDelta-2/drop/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/lift/defs.ma LambdaDelta-2/r/defs.ma
177 LambdaDelta-2/pr0/fwd.mma LambdaDelta-1/pr0/fwd.ma LambdaDelta-2/pr0/props.ma
178 LambdaDelta-1/pr1/defs.ma LambdaDelta-1/pr0/defs.ma
179 LambdaDelta-1/getl/clear.ma LambdaDelta-1/clear/drop.ma LambdaDelta-1/getl/props.ma
180 LambdaDelta-2/clear/fwd.mma LambdaDelta-1/clear/fwd.ma LambdaDelta-2/clear/defs.ma
181 LambdaDelta-1/nf2/lift1.ma LambdaDelta-1/drop1/fwd.ma LambdaDelta-1/nf2/props.ma
182 LambdaDelta-2/wf3/clear.mma LambdaDelta-1/wf3/clear.ma LambdaDelta-2/wf3/fwd.ma
183 Base-2/types/props.mma Base-1/types/props.ma Base-2/types/defs.ma
184 LambdaDelta-2/pr0/defs.mma LambdaDelta-2/subst0/defs.ma
185 LambdaDelta-1/csubst1/fwd.ma LambdaDelta-1/csubst0/fwd.ma LambdaDelta-1/csubst1/defs.ma LambdaDelta-1/subst1/props.ma
186 LambdaDelta-2/nf2/fwd.mma LambdaDelta-1/nf2/fwd.ma LambdaDelta-2/T/props.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/clen.ma LambdaDelta-2/subst0/dec.ma
187 LambdaDelta-1/drop1/fwd.ma LambdaDelta-1/drop1/defs.ma
188 LambdaDelta-2/csubt/clear.mma LambdaDelta-1/csubt/clear.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubt/defs.ma
189 LambdaDelta-2/ex0/props.mma LambdaDelta-1/ex0/props.ma LambdaDelta-2/aplus/props.ma LambdaDelta-2/ex0/defs.ma LambdaDelta-2/leq/defs.ma
190 LambdaDelta-2/wf3/ty3.ma LambdaDelta-2/wf3/ty3.mma LambdaDelta-2/wf3/getl.ma
191 LambdaDelta-2/ty3/props.ma LambdaDelta-2/ty3/props.mma LambdaDelta-2/pc3/fwd.ma LambdaDelta-2/ty3/fwd.ma
192 LambdaDelta-2/wf3/fwd.mma LambdaDelta-1/wf3/fwd.ma LambdaDelta-2/wf3/defs.ma
193 LambdaDelta-2/getl/defs.mma LambdaDelta-2/clear/defs.ma LambdaDelta-2/drop/defs.ma
194 LambdaDelta-2/csubc/arity.mma LambdaDelta-1/csubc/arity.ma LambdaDelta-2/csubc/csuba.ma
195 LambdaDelta-2/wcpr0/defs.ma LambdaDelta-2/wcpr0/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/pr0/defs.ma
196 Base-1/spare.ma Base-1/theory.ma
197 LambdaDelta-1/csubc/fwd.ma LambdaDelta-1/csubc/defs.ma
198 LambdaDelta-1/aprem/props.ma LambdaDelta-1/aprem/fwd.ma LambdaDelta-1/leq/defs.ma
199 LambdaDelta-1/tlt/props.ma LambdaDelta-1/tlt/defs.ma
200 LambdaDelta-1/nf2/dec.ma LambdaDelta-1/C/props.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr0/dec.ma LambdaDelta-1/pr2/clen.ma LambdaDelta-1/pr2/fwd.ma
201 Legacy-2/preamble.ma Legacy-1/preamble.ma Legacy-1/coq/defs.ma Legacy-1/coq/props.ma Legacy-1/definitions.ma
202 Base-2/blt/props.mma Base-1/blt/props.ma Base-2/blt/defs.ma
203 LambdaDelta-1/csubc/arity.ma LambdaDelta-1/csubc/csuba.ma
204 LambdaDelta-2/aprem/defs.mma LambdaDelta-2/A/defs.ma
205 LambdaDelta-2/csubv/getl.ma LambdaDelta-2/csubv/getl.mma LambdaDelta-2/csubv/clear.ma LambdaDelta-2/csubv/drop.ma LambdaDelta-2/getl/fwd.ma
206 LambdaDelta-2/tlist/defs.ma LambdaDelta-2/tlist/defs.mma LambdaDelta-2/T/defs.ma
207 LambdaDelta-2/subst0/tlt.mma LambdaDelta-1/subst0/tlt.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/lift/tlt.ma LambdaDelta-2/subst0/defs.ma
208 LambdaDelta-2/sn3/lift1.mma LambdaDelta-1/sn3/lift1.ma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/lift1/fwd.ma LambdaDelta-2/sn3/props.ma
209 LambdaDelta-1/wf3/props.ma LambdaDelta-1/app/defs.ma LambdaDelta-1/wf3/ty3.ma
210 LambdaDelta-2/sty0/fwd.ma LambdaDelta-2/sty0/fwd.mma LambdaDelta-2/sty0/defs.ma
211 LambdaDelta-2/subst/fwd.mma LambdaDelta-1/subst/fwd.ma LambdaDelta-2/subst/defs.ma
212 LambdaDelta-2/csubv/clear.mma LambdaDelta-1/csubv/clear.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubv/defs.ma
213 LambdaDelta-1/nf2/pr3.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr3/pr3.ma
214 LambdaDelta-1/sty1/cnt.ma LambdaDelta-1/cnt/props.ma LambdaDelta-1/sty1/props.ma
215 LambdaDelta-2/pr0/pr0.ma LambdaDelta-2/pr0/pr0.mma LambdaDelta-2/lift/tlt.ma LambdaDelta-2/pr0/fwd.ma
216 LambdaDelta-1/wf3/getl.ma LambdaDelta-1/ty3/dec.ma LambdaDelta-1/wf3/clear.ma
217 LambdaDelta-2/ex2/defs.mma LambdaDelta-2/C/defs.ma
218 LambdaDelta-2/ex2/props.mma LambdaDelta-1/ex2/props.ma LambdaDelta-2/arity/fwd.ma LambdaDelta-2/ex2/defs.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/fwd.ma
219 LambdaDelta-2/iso/fwd.ma LambdaDelta-2/iso/fwd.mma LambdaDelta-2/iso/defs.ma LambdaDelta-2/tlist/defs.ma
220 LambdaDelta-2/subst/props.ma LambdaDelta-2/subst/props.mma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst/fwd.ma LambdaDelta-2/subst0/defs.ma
221 LambdaDelta-2/wf3/getl.mma LambdaDelta-1/wf3/getl.ma LambdaDelta-2/ty3/dec.ma LambdaDelta-2/wf3/clear.ma
222 LambdaDelta-1/pr2/pr2.ma LambdaDelta-1/getl/props.ma LambdaDelta-1/pr0/pr0.ma LambdaDelta-1/pr2/defs.ma
223 LambdaDelta-2/app/defs.mma LambdaDelta-2/C/defs.ma
224 LambdaDelta-1/G/defs.ma LambdaDelta-1/preamble.ma
225 Legacy-2/coq/defs.mma Legacy-2/preamble.ma
226 LambdaDelta-2/csubv/drop.mma LambdaDelta-1/csubv/drop.ma LambdaDelta-2/csubv/props.ma LambdaDelta-2/drop/fwd.ma
227 LambdaDelta-2/pr3/pr3.mma LambdaDelta-1/pr3/pr3.ma LambdaDelta-2/pr2/pr2.ma LambdaDelta-2/pr3/props.ma
228 LambdaDelta-1/theory.ma LambdaDelta-1/csubt/csuba.ma LambdaDelta-1/ex0/props.ma LambdaDelta-1/ex1/props.ma LambdaDelta-1/ex2/props.ma LambdaDelta-1/pr3/wcpr0.ma LambdaDelta-1/sty1/cnt.ma LambdaDelta-1/subst/props.ma LambdaDelta-1/subst0/tlt.ma LambdaDelta-1/ty3/fwd_nf2.ma LambdaDelta-1/ty3/nf2.ma LambdaDelta-1/ty3/sty0.ma LambdaDelta-1/wcpr0/fwd.ma LambdaDelta-1/wf3/props.ma
229 LambdaDelta-1/lift/fwd.ma LambdaDelta-1/lift/defs.ma
230 LambdaDelta-2/arity/subst0.mma LambdaDelta-1/arity/subst0.ma LambdaDelta-2/arity/props.ma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/fsubst0/fwd.ma LambdaDelta-2/getl/getl.ma LambdaDelta-2/subst0/dec.ma LambdaDelta-2/subst0/fwd.ma
231 LambdaDelta-2/wcpr0/fwd.ma LambdaDelta-2/wcpr0/fwd.mma LambdaDelta-2/wcpr0/defs.ma
232 LambdaDelta-2/pr0/dec.ma LambdaDelta-2/pr0/dec.mma LambdaDelta-2/T/dec.ma LambdaDelta-2/T/props.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/subst0/dec.ma
233 LambdaDelta-2/csubc/getl.ma LambdaDelta-2/csubc/getl.mma LambdaDelta-2/csubc/clear.ma LambdaDelta-2/csubc/drop.ma
234 LambdaDelta-1/arity/aprem.ma LambdaDelta-1/aprem/props.ma LambdaDelta-1/arity/cimp.ma LambdaDelta-1/arity/props.ma
235 LambdaDelta-2/ex1/defs.mma LambdaDelta-2/C/defs.ma
236 LambdaDelta-2/next_plus/defs.mma LambdaDelta-2/G/defs.ma
237 LambdaDelta-2/arity/pr3.ma LambdaDelta-2/arity/pr3.mma LambdaDelta-2/arity/subst0.ma LambdaDelta-2/csuba/arity.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/pr3/defs.ma LambdaDelta-2/wcpr0/getl.ma
238 LambdaDelta-2/csuba/props.mma LambdaDelta-1/csuba/props.ma LambdaDelta-2/csuba/defs.ma
239 LambdaDelta-2/preamble.ma Base-2/theory.ma LambdaDelta-1/definitions.ma
240 LambdaDelta-1/csuba/arity.ma LambdaDelta-1/arity/props.ma LambdaDelta-1/csuba/getl.ma LambdaDelta-1/csuba/props.ma LambdaDelta-1/csubv/getl.ma
241 LambdaDelta-2/ex2/defs.ma LambdaDelta-2/ex2/defs.mma LambdaDelta-2/C/defs.ma
242 Base-2/ext/arith.ma Base-2/ext/arith.mma Base-2/preamble.ma
243 LambdaDelta-1/pr3/iso.ma LambdaDelta-1/iso/props.ma LambdaDelta-1/pr3/fwd.ma LambdaDelta-1/tlist/props.ma
244 LambdaDelta-1/csubv/clear.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/csubv/defs.ma
245 LambdaDelta-2/sty1/defs.mma LambdaDelta-2/sty0/defs.ma
246 LambdaDelta-2/llt/props.ma LambdaDelta-2/llt/props.mma LambdaDelta-2/leq/defs.ma LambdaDelta-2/llt/defs.ma
247 LambdaDelta-1/csubc/props.ma LambdaDelta-1/csubc/defs.ma LambdaDelta-1/sc3/props.ma
248 LambdaDelta-1/pc3/pc1.ma LambdaDelta-1/pc1/defs.ma LambdaDelta-1/pc3/defs.ma LambdaDelta-1/pr3/pr1.ma
249 LambdaDelta-2/csubst0/drop.ma LambdaDelta-2/csubst0/drop.mma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/s/props.ma
250 LambdaDelta-2/C/defs.ma LambdaDelta-2/C/defs.mma LambdaDelta-2/T/defs.ma
251 LambdaDelta-2/csubc/defs.mma LambdaDelta-2/sc3/defs.ma
252 LambdaDelta-2/ex0/defs.mma LambdaDelta-2/A/defs.ma LambdaDelta-2/G/defs.ma
253 LambdaDelta-1/subst/fwd.ma LambdaDelta-1/subst/defs.ma
254 LambdaDelta-2/sc3/arity.mma LambdaDelta-1/sc3/arity.ma LambdaDelta-2/csubc/arity.ma LambdaDelta-2/csubc/drop1.ma LambdaDelta-2/csubc/getl.ma LambdaDelta-2/csubc/props.ma
255 LambdaDelta-2/pr3/fwd.mma LambdaDelta-1/pr3/fwd.ma LambdaDelta-2/pr2/fwd.ma LambdaDelta-2/pr3/props.ma
256 LambdaDelta-1/subst0/fwd.ma LambdaDelta-1/lift/props.ma LambdaDelta-1/subst0/defs.ma
257 LambdaDelta-1/pc3/defs.ma LambdaDelta-1/pr3/defs.ma
258 LambdaDelta-2/sn3/nf2.ma LambdaDelta-2/sn3/nf2.mma LambdaDelta-2/nf2/dec.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/sn3/defs.ma
259 LambdaDelta-2/csubt/pc3.mma LambdaDelta-1/csubt/pc3.ma LambdaDelta-2/csubt/getl.ma LambdaDelta-2/pc3/left.ma
260 LambdaDelta-2/csubc/props.mma LambdaDelta-1/csubc/props.ma LambdaDelta-2/csubc/defs.ma LambdaDelta-2/sc3/props.ma
261 LambdaDelta-2/csubt/drop.mma LambdaDelta-1/csubt/drop.ma LambdaDelta-2/csubt/fwd.ma LambdaDelta-2/drop/fwd.ma
262 LambdaDelta-1/iso/defs.ma LambdaDelta-1/T/defs.ma
263 LambdaDelta-2/sty0/defs.mma LambdaDelta-2/G/defs.ma LambdaDelta-2/getl/defs.ma
264 LambdaDelta-2/pr2/fwd.ma LambdaDelta-2/pr2/fwd.mma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr2/defs.ma
265 LambdaDelta-2/nf2/defs.mma LambdaDelta-2/pr2/defs.ma
266 LambdaDelta-2/leq/fwd.mma LambdaDelta-1/leq/fwd.ma LambdaDelta-2/leq/defs.ma
267 LambdaDelta-2/ty3/nf2.ma LambdaDelta-2/ty3/nf2.mma LambdaDelta-2/nf2/arity.ma LambdaDelta-2/pc3/nf2.ma LambdaDelta-2/ty3/arity.ma
268 LambdaDelta-2/pr3/props.ma LambdaDelta-2/pr3/props.mma LambdaDelta-2/pr1/props.ma LambdaDelta-2/pr2/props.ma LambdaDelta-2/pr3/pr1.ma
269 LambdaDelta-2/flt/defs.ma LambdaDelta-2/flt/defs.mma LambdaDelta-2/C/defs.ma
270 LambdaDelta-2/getl/defs.ma LambdaDelta-2/getl/defs.mma LambdaDelta-2/clear/defs.ma LambdaDelta-2/drop/defs.ma
271 LambdaDelta-2/aprem/defs.ma LambdaDelta-2/aprem/defs.mma LambdaDelta-2/A/defs.ma
272 LambdaDelta-2/wf3/clear.ma LambdaDelta-2/wf3/clear.mma LambdaDelta-2/wf3/fwd.ma
273 LambdaDelta-1/aplus/defs.ma LambdaDelta-1/asucc/defs.ma
274 LambdaDelta-2/clear/fwd.ma LambdaDelta-2/clear/fwd.mma LambdaDelta-2/clear/defs.ma
275 LambdaDelta-1/cnt/props.ma LambdaDelta-1/cnt/defs.ma LambdaDelta-1/lift/fwd.ma
276 LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/csubst0/fwd.mma LambdaDelta-2/csubst0/defs.ma
277 LambdaDelta-2/r/props.mma LambdaDelta-1/r/props.ma LambdaDelta-2/r/defs.ma LambdaDelta-2/s/defs.ma
278 LambdaDelta-2/pc3/dec.mma LambdaDelta-1/pc3/dec.ma LambdaDelta-2/nf2/fwd.ma LambdaDelta-2/ty3/arity_props.ma
279 LambdaDelta-1/csubt/clear.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/csubt/defs.ma
280 LambdaDelta-2/pr2/pr2.mma LambdaDelta-1/pr2/pr2.ma LambdaDelta-2/getl/props.ma LambdaDelta-2/pr0/pr0.ma LambdaDelta-2/pr2/defs.ma
281 LambdaDelta-2/pr2/props.ma LambdaDelta-2/pr2/props.mma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/props.ma LambdaDelta-2/pr2/defs.ma
282 LambdaDelta-1/csuba/props.ma LambdaDelta-1/csuba/defs.ma
283 LambdaDelta-2/arity/defs.ma LambdaDelta-2/arity/defs.mma LambdaDelta-2/getl/defs.ma LambdaDelta-2/leq/defs.ma
284 LambdaDelta-2/leq/asucc.ma LambdaDelta-2/leq/asucc.mma LambdaDelta-2/leq/props.ma
285 LambdaDelta-1/getl/fwd.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/drop/fwd.ma LambdaDelta-1/getl/defs.ma
286 LambdaDelta-2/subst1/defs.ma LambdaDelta-2/subst1/defs.mma LambdaDelta-2/subst0/defs.ma
287 LambdaDelta-2/pc3/nf2.ma LambdaDelta-2/pc3/nf2.mma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/pc3/defs.ma
288 LambdaDelta-2/csuba/defs.mma LambdaDelta-2/arity/defs.ma
289 LambdaDelta-1/lift/props.ma LambdaDelta-1/lift/fwd.ma LambdaDelta-1/s/props.ma
290 Base-2/blt/defs.mma Base-2/preamble.ma
291 LambdaDelta-2/csubst1/props.ma LambdaDelta-2/csubst1/props.mma LambdaDelta-2/csubst1/defs.ma LambdaDelta-2/subst1/defs.ma
292 LambdaDelta-2/csubst1/getl.ma LambdaDelta-2/csubst1/getl.mma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/csubst1/props.ma LambdaDelta-2/drop/props.ma LambdaDelta-2/subst1/props.ma
293 LambdaDelta-1/csubt/pc3.ma LambdaDelta-1/csubt/getl.ma LambdaDelta-1/pc3/left.ma
294 LambdaDelta-1/ex1/defs.ma LambdaDelta-1/C/defs.ma
295 LambdaDelta-2/pr3/wcpr0.ma LambdaDelta-2/pr3/wcpr0.mma LambdaDelta-2/pr3/props.ma LambdaDelta-2/wcpr0/getl.ma
296 LambdaDelta-1/sc3/arity.ma LambdaDelta-1/csubc/arity.ma LambdaDelta-1/csubc/drop1.ma LambdaDelta-1/csubc/getl.ma LambdaDelta-1/csubc/props.ma
297 LambdaDelta-1/pr0/fwd.ma LambdaDelta-1/pr0/props.ma
298 LambdaDelta-2/T/props.ma LambdaDelta-2/T/props.mma LambdaDelta-2/T/defs.ma
299 LambdaDelta-1/leq/fwd.ma LambdaDelta-1/leq/defs.ma
300 LambdaDelta-1/csubt/csuba.ma LambdaDelta-1/ty3/arity.ma
301 Base-2/ext/arith.mma Base-1/ext/arith.ma Base-2/preamble.ma
302 LambdaDelta-2/ty3/subst1.ma LambdaDelta-2/ty3/subst1.mma LambdaDelta-2/getl/getl.ma LambdaDelta-2/pc3/subst1.ma LambdaDelta-2/ty3/props.ma
303 LambdaDelta-2/ty3/defs.ma LambdaDelta-2/ty3/defs.mma LambdaDelta-2/G/defs.ma LambdaDelta-2/pc3/defs.ma
304 LambdaDelta-2/pr2/clen.mma LambdaDelta-1/pr2/clen.ma LambdaDelta-2/clen/getl.ma LambdaDelta-2/pr2/props.ma
305 LambdaDelta-2/pc3/defs.mma LambdaDelta-2/pr3/defs.ma
306 LambdaDelta-2/nf2/lift1.mma LambdaDelta-1/nf2/lift1.ma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/nf2/props.ma
307 LambdaDelta-1/clear/props.ma LambdaDelta-1/clear/fwd.ma
308 LambdaDelta-2/csubst0/props.ma LambdaDelta-2/csubst0/props.mma LambdaDelta-2/csubst0/defs.ma
309 LambdaDelta-1/tlist/props.ma LambdaDelta-1/tlist/defs.ma
310 LambdaDelta-2/pr1/props.ma LambdaDelta-2/pr1/props.mma LambdaDelta-2/T/props.ma LambdaDelta-2/pr0/subst1.ma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/subst1/props.ma
311 Base-2/plist/defs.ma Base-2/plist/defs.mma Base-2/preamble.ma
312 LambdaDelta-1/subst1/fwd.ma LambdaDelta-1/subst0/props.ma LambdaDelta-1/subst1/defs.ma
313 LambdaDelta-2/tlist/defs.mma LambdaDelta-2/T/defs.ma
314 LambdaDelta-2/flt/props.ma LambdaDelta-2/flt/props.mma LambdaDelta-2/C/props.ma LambdaDelta-2/flt/defs.ma
315 LambdaDelta-2/s/defs.mma LambdaDelta-2/T/defs.ma
316 LambdaDelta-2/pr0/defs.ma LambdaDelta-2/pr0/defs.mma LambdaDelta-2/subst0/defs.ma
317 LambdaDelta-2/nf2/defs.ma LambdaDelta-2/nf2/defs.mma LambdaDelta-2/pr2/defs.ma
318 Base-2/types/props.ma Base-2/types/props.mma Base-2/types/defs.ma
319 LambdaDelta-1/csubst0/drop.ma LambdaDelta-1/csubst0/fwd.ma LambdaDelta-1/drop/fwd.ma LambdaDelta-1/s/props.ma
320 LambdaDelta-2/pr3/fwd.ma LambdaDelta-2/pr3/fwd.mma LambdaDelta-2/pr2/fwd.ma LambdaDelta-2/pr3/props.ma
321 LambdaDelta-2/iso/defs.mma LambdaDelta-2/T/defs.ma
322 LambdaDelta-2/clear/defs.mma LambdaDelta-2/C/defs.ma
323 LambdaDelta-1/subst0/dec.ma LambdaDelta-1/lift/props.ma LambdaDelta-1/subst0/defs.ma
324 LambdaDelta-2/clear/defs.ma LambdaDelta-2/clear/defs.mma LambdaDelta-2/C/defs.ma
325 LambdaDelta-2/csuba/clear.mma LambdaDelta-1/csuba/clear.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csuba/defs.ma
326 LambdaDelta-2/sc3/props.mma LambdaDelta-1/sc3/props.ma LambdaDelta-2/arity/aprem.ma LambdaDelta-2/arity/lift1.ma LambdaDelta-2/csuba/arity.ma LambdaDelta-2/drop1/getl.ma LambdaDelta-2/drop1/props.ma LambdaDelta-2/lift1/props.ma LambdaDelta-2/llt/props.ma LambdaDelta-2/nf2/lift1.ma LambdaDelta-2/sc3/defs.ma LambdaDelta-2/sn3/lift1.ma
327 LambdaDelta-2/pr0/props.ma LambdaDelta-2/pr0/props.mma LambdaDelta-2/pr0/defs.ma LambdaDelta-2/subst0/subst0.ma
328 LambdaDelta-2/pr3/subst1.ma LambdaDelta-2/pr3/subst1.mma LambdaDelta-2/pr2/subst1.ma LambdaDelta-2/pr3/defs.ma
329 LambdaDelta-2/pr2/clen.ma LambdaDelta-2/pr2/clen.mma LambdaDelta-2/clen/getl.ma LambdaDelta-2/pr2/props.ma
330 LambdaDelta-1/wf3/ty3.ma LambdaDelta-1/wf3/getl.ma
331 LambdaDelta-2/sn3/props.mma LambdaDelta-1/sn3/props.ma LambdaDelta-2/nf2/iso.ma LambdaDelta-2/pr3/iso.ma LambdaDelta-2/sn3/fwd.ma LambdaDelta-2/sn3/nf2.ma
332 LambdaDelta-1/sn3/lift1.ma LambdaDelta-1/drop1/fwd.ma LambdaDelta-1/lift1/fwd.ma LambdaDelta-1/sn3/props.ma
333 LambdaDelta-2/wf3/defs.ma LambdaDelta-2/wf3/defs.mma LambdaDelta-2/ty3/defs.ma
334 LambdaDelta-1/s/defs.ma LambdaDelta-1/T/defs.ma
335 LambdaDelta-1/sc3/props.ma LambdaDelta-1/arity/aprem.ma LambdaDelta-1/arity/lift1.ma LambdaDelta-1/csuba/arity.ma LambdaDelta-1/drop1/getl.ma LambdaDelta-1/drop1/props.ma LambdaDelta-1/lift1/props.ma LambdaDelta-1/llt/props.ma LambdaDelta-1/nf2/lift1.ma LambdaDelta-1/sc3/defs.ma LambdaDelta-1/sn3/lift1.ma
336 LambdaDelta-1/csubt/defs.ma LambdaDelta-1/ty3/defs.ma
337 LambdaDelta-1/arity/props.ma LambdaDelta-1/arity/fwd.ma
338 LambdaDelta-1/clear/drop.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/drop/fwd.ma
339 LambdaDelta-2/r/defs.mma LambdaDelta-2/T/defs.ma
340 LambdaDelta-2/csubst0/fwd.mma LambdaDelta-1/csubst0/fwd.ma LambdaDelta-2/csubst0/defs.ma
341 LambdaDelta-2/csubst1/fwd.ma LambdaDelta-2/csubst1/fwd.mma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/csubst1/defs.ma LambdaDelta-2/subst1/props.ma
342 LambdaDelta-2/getl/flt.ma LambdaDelta-2/getl/flt.mma LambdaDelta-2/clear/props.ma LambdaDelta-2/flt/props.ma LambdaDelta-2/getl/fwd.ma
343 LambdaDelta-2/csubv/getl.mma LambdaDelta-1/csubv/getl.ma LambdaDelta-2/csubv/clear.ma LambdaDelta-2/csubv/drop.ma LambdaDelta-2/getl/fwd.ma
344 LambdaDelta-1/pc3/subst1.ma LambdaDelta-1/pc3/props.ma LambdaDelta-1/pr3/subst1.ma
345 LambdaDelta-2/getl/props.ma LambdaDelta-2/getl/props.mma LambdaDelta-2/clear/props.ma LambdaDelta-2/drop/props.ma LambdaDelta-2/getl/fwd.ma
346 LambdaDelta-2/sc3/defs.ma LambdaDelta-2/sc3/defs.mma LambdaDelta-2/arity/defs.ma LambdaDelta-2/drop1/defs.ma LambdaDelta-2/sn3/defs.ma
347 LambdaDelta-1/getl/drop.ma LambdaDelta-1/clear/drop.ma LambdaDelta-1/getl/props.ma
348 Legacy-2/coq/props.mma Legacy-1/coq/props.ma Legacy-2/coq/defs.ma
349 LambdaDelta-2/ty3/sty0.mma LambdaDelta-1/ty3/sty0.ma LambdaDelta-2/sty0/fwd.ma LambdaDelta-2/ty3/pr3_props.ma
350 LambdaDelta-2/pc1/defs.mma LambdaDelta-2/pr1/defs.ma
351 LambdaDelta-1/aplus/props.ma LambdaDelta-1/aplus/defs.ma LambdaDelta-1/next_plus/props.ma
352 LambdaDelta-2/csubc/clear.mma LambdaDelta-1/csubc/clear.ma LambdaDelta-2/csubc/fwd.ma
353 LambdaDelta-2/llt/defs.ma LambdaDelta-2/llt/defs.mma LambdaDelta-2/A/defs.ma
354 LambdaDelta-2/pr1/pr1.mma LambdaDelta-1/pr1/pr1.ma LambdaDelta-2/pr0/pr0.ma LambdaDelta-2/pr1/props.ma
355 LambdaDelta-2/lift1/fwd.ma LambdaDelta-2/lift1/fwd.mma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/lift1/defs.ma
356 LambdaDelta-1/pr0/pr0.ma LambdaDelta-1/lift/tlt.ma LambdaDelta-1/pr0/fwd.ma
357 LambdaDelta-2/aprem/props.ma LambdaDelta-2/aprem/props.mma LambdaDelta-2/aprem/fwd.ma LambdaDelta-2/leq/defs.ma
358 LambdaDelta-2/arity/defs.mma LambdaDelta-2/getl/defs.ma LambdaDelta-2/leq/defs.ma
359 LambdaDelta-2/subst/defs.ma LambdaDelta-2/subst/defs.mma LambdaDelta-2/lift/defs.ma
360 LambdaDelta-1/iso/fwd.ma LambdaDelta-1/iso/defs.ma LambdaDelta-1/tlist/defs.ma
361 LambdaDelta-1/csuba/defs.ma LambdaDelta-1/arity/defs.ma
362 LambdaDelta-2/aplus/defs.mma LambdaDelta-2/asucc/defs.ma
363 LambdaDelta-1/ty3/arity_props.ma LambdaDelta-1/sc3/arity.ma LambdaDelta-1/ty3/arity.ma
364 LambdaDelta-2/pc3/wcpr0.mma LambdaDelta-1/pc3/wcpr0.ma LambdaDelta-2/pc3/props.ma LambdaDelta-2/wcpr0/getl.ma
365 LambdaDelta-2/csubc/arity.ma LambdaDelta-2/csubc/arity.mma LambdaDelta-2/csubc/csuba.ma
366 LambdaDelta-1/getl/dec.ma LambdaDelta-1/getl/props.ma
367 LambdaDelta-2/ex2/props.ma LambdaDelta-2/ex2/props.mma LambdaDelta-2/arity/fwd.ma LambdaDelta-2/ex2/defs.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/fwd.ma
368 LambdaDelta-2/subst1/subst1.ma LambdaDelta-2/subst1/subst1.mma LambdaDelta-2/subst0/subst0.ma LambdaDelta-2/subst1/fwd.ma
369 LambdaDelta-2/llt/props.mma LambdaDelta-1/llt/props.ma LambdaDelta-2/leq/defs.ma LambdaDelta-2/llt/defs.ma
370 LambdaDelta-1/csubt/fwd.ma LambdaDelta-1/csubt/defs.ma
371 LambdaDelta-1/csubst0/clear.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/csubst0/fwd.ma LambdaDelta-1/csubst0/props.ma
372 Legacy-2/coq/props.ma Legacy-2/coq/props.mma Legacy-2/coq/defs.ma
373 LambdaDelta-1/csubst1/getl.ma LambdaDelta-1/csubst0/getl.ma LambdaDelta-1/csubst1/props.ma LambdaDelta-1/drop/props.ma LambdaDelta-1/subst1/props.ma
374 Base-2/blt/defs.ma Base-2/blt/defs.mma Base-2/preamble.ma
375 LambdaDelta-1/pr0/dec.ma LambdaDelta-1/T/dec.ma LambdaDelta-1/T/props.ma LambdaDelta-1/pr0/fwd.ma LambdaDelta-1/subst0/dec.ma
376 LambdaDelta-1/lift1/defs.ma LambdaDelta-1/lift/defs.ma
377 LambdaDelta-2/subst0/dec.mma LambdaDelta-1/subst0/dec.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst0/defs.ma
378 LambdaDelta-2/pr3/subst1.mma LambdaDelta-1/pr3/subst1.ma LambdaDelta-2/pr2/subst1.ma LambdaDelta-2/pr3/defs.ma
379 LambdaDelta-2/pr0/props.mma LambdaDelta-1/pr0/props.ma LambdaDelta-2/pr0/defs.ma LambdaDelta-2/subst0/subst0.ma
380 LambdaDelta-2/nf2/arity.ma LambdaDelta-2/nf2/arity.mma LambdaDelta-2/arity/subst0.ma LambdaDelta-2/nf2/fwd.ma
381 LambdaDelta-2/nf2/arity.mma LambdaDelta-1/nf2/arity.ma LambdaDelta-2/arity/subst0.ma LambdaDelta-2/nf2/fwd.ma
382 Base-2/preamble.ma Base-1/definitions.ma Legacy-2/theory.ma
383 LambdaDelta-2/csubt/getl.mma LambdaDelta-1/csubt/getl.ma LambdaDelta-2/csubt/clear.ma LambdaDelta-2/csubt/drop.ma LambdaDelta-2/getl/clear.ma
384 LambdaDelta-2/ex1/props.ma LambdaDelta-2/ex1/props.mma LambdaDelta-2/arity/defs.ma LambdaDelta-2/ex1/defs.ma LambdaDelta-2/leq/props.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/nf2/props.ma LambdaDelta-2/pc3/fwd.ma LambdaDelta-2/ty3/fwd.ma
385 LambdaDelta-2/csubt/ty3.ma LambdaDelta-2/csubt/ty3.mma LambdaDelta-2/csubt/pc3.ma LambdaDelta-2/csubt/props.ma
386 LambdaDelta-2/next_plus/props.ma LambdaDelta-2/next_plus/props.mma LambdaDelta-2/next_plus/defs.ma
387 LambdaDelta-2/arity/aprem.ma LambdaDelta-2/arity/aprem.mma LambdaDelta-2/aprem/props.ma LambdaDelta-2/arity/cimp.ma LambdaDelta-2/arity/props.ma
388 Legacy-2/theory.ma Legacy-2/coq/props.ma
389 LambdaDelta-2/drop/fwd.ma LambdaDelta-2/drop/fwd.mma LambdaDelta-2/drop/defs.ma
390 LambdaDelta-2/pr2/props.mma LambdaDelta-1/pr2/props.ma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/props.ma LambdaDelta-2/pr2/defs.ma
391 LambdaDelta-1/sn3/nf2.ma LambdaDelta-1/nf2/dec.ma LambdaDelta-1/nf2/pr3.ma LambdaDelta-1/sn3/defs.ma
392 LambdaDelta-2/csuba/arity.ma LambdaDelta-2/csuba/arity.mma LambdaDelta-2/arity/props.ma LambdaDelta-2/csuba/getl.ma LambdaDelta-2/csuba/props.ma LambdaDelta-2/csubv/getl.ma
393 LambdaDelta-2/ex0/props.ma LambdaDelta-2/ex0/props.mma LambdaDelta-2/aplus/props.ma LambdaDelta-2/ex0/defs.ma LambdaDelta-2/leq/defs.ma
394 Base-2/plist/props.mma Base-1/plist/props.ma Base-2/plist/defs.ma
395 LambdaDelta-2/sty1/props.ma LambdaDelta-2/sty1/props.mma LambdaDelta-2/sty0/props.ma LambdaDelta-2/sty1/defs.ma
396 LambdaDelta-2/pr3/defs.ma LambdaDelta-2/pr3/defs.mma LambdaDelta-2/pr2/defs.ma
397 LambdaDelta-2/pr3/pr3.ma LambdaDelta-2/pr3/pr3.mma LambdaDelta-2/pr2/pr2.ma LambdaDelta-2/pr3/props.ma
398 LambdaDelta-2/csubv/clear.ma LambdaDelta-2/csubv/clear.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubv/defs.ma
399 LambdaDelta-2/fsubst0/fwd.mma LambdaDelta-1/fsubst0/fwd.ma LambdaDelta-2/fsubst0/defs.ma
400 LambdaDelta-1/pr2/fwd.ma LambdaDelta-1/getl/clear.ma LambdaDelta-1/getl/drop.ma LambdaDelta-1/pr0/fwd.ma LambdaDelta-1/pr2/defs.ma
401 LambdaDelta-2/pc3/left.mma LambdaDelta-1/pc3/left.ma LambdaDelta-2/pc3/props.ma
402 LambdaDelta-2/csubc/props.ma LambdaDelta-2/csubc/props.mma LambdaDelta-2/csubc/defs.ma LambdaDelta-2/sc3/props.ma
403 LambdaDelta-1/drop1/getl.ma LambdaDelta-1/drop1/fwd.ma LambdaDelta-1/getl/drop.ma
404 LambdaDelta-2/pc3/fsubst0.mma LambdaDelta-1/pc3/fsubst0.ma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/fsubst0/defs.ma LambdaDelta-2/pc3/left.ma
405 LambdaDelta-2/G/defs.mma LambdaDelta-2/preamble.ma
406 LambdaDelta-2/nf2/props.ma LambdaDelta-2/nf2/props.mma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/fwd.ma
407 LambdaDelta-2/leq/defs.ma LambdaDelta-2/leq/defs.mma LambdaDelta-2/aplus/defs.ma
408 LambdaDelta-2/leq/asucc.mma LambdaDelta-1/leq/asucc.ma LambdaDelta-2/leq/props.ma
409 LambdaDelta-2/drop/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/lift/defs.ma LambdaDelta-2/r/defs.ma
410 LambdaDelta-1/ty3/nf2.ma LambdaDelta-1/nf2/arity.ma LambdaDelta-1/pc3/nf2.ma LambdaDelta-1/ty3/arity.ma
411 LambdaDelta-2/clen/getl.mma LambdaDelta-1/clen/getl.ma LambdaDelta-2/clen/defs.ma LambdaDelta-2/getl/props.ma
412 LambdaDelta-2/csubt/getl.ma LambdaDelta-2/csubt/getl.mma LambdaDelta-2/csubt/clear.ma LambdaDelta-2/csubt/drop.ma LambdaDelta-2/getl/clear.ma
413 LambdaDelta-2/sty0/props.ma LambdaDelta-2/sty0/props.mma LambdaDelta-2/getl/drop.ma LambdaDelta-2/sty0/defs.ma
414 LambdaDelta-2/ty3/arity_props.mma LambdaDelta-1/ty3/arity_props.ma LambdaDelta-2/sc3/arity.ma LambdaDelta-2/ty3/arity.ma
415 LambdaDelta-2/sn3/defs.mma LambdaDelta-2/pr3/defs.ma
416 LambdaDelta-1/sty1/defs.ma LambdaDelta-1/sty0/defs.ma
417 LambdaDelta-2/subst0/props.mma LambdaDelta-1/subst0/props.ma LambdaDelta-2/subst0/fwd.ma
418 LambdaDelta-2/pr0/pr0.mma LambdaDelta-1/pr0/pr0.ma LambdaDelta-2/lift/tlt.ma LambdaDelta-2/pr0/fwd.ma
419 LambdaDelta-2/pc3/nf2.mma LambdaDelta-1/pc3/nf2.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/pc3/defs.ma
420 LambdaDelta-1/ty3/sty0.ma LambdaDelta-1/sty0/fwd.ma LambdaDelta-1/ty3/pr3_props.ma
421 LambdaDelta-2/csuba/getl.ma LambdaDelta-2/csuba/getl.mma LambdaDelta-2/csuba/clear.ma LambdaDelta-2/csuba/drop.ma LambdaDelta-2/getl/clear.ma
422 LambdaDelta-1/lift1/props.ma LambdaDelta-1/drop1/defs.ma LambdaDelta-1/lift/props.ma
423 LambdaDelta-1/pc3/nf2.ma LambdaDelta-1/nf2/pr3.ma LambdaDelta-1/pc3/defs.ma
424 LambdaDelta-1/wcpr0/defs.ma LambdaDelta-1/C/defs.ma LambdaDelta-1/pr0/defs.ma
425 LambdaDelta-2/asucc/fwd.mma LambdaDelta-1/asucc/fwd.ma LambdaDelta-2/asucc/defs.ma
426 LambdaDelta-2/nf2/props.mma LambdaDelta-1/nf2/props.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr2/fwd.ma
427 LambdaDelta-2/T/defs.ma LambdaDelta-2/T/defs.mma LambdaDelta-2/preamble.ma
428 LambdaDelta-1/tlist/defs.ma LambdaDelta-1/T/defs.ma
429 LambdaDelta-2/lift/tlt.ma LambdaDelta-2/lift/tlt.mma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/tlt/props.ma
430 Base-2/blt/props.ma Base-2/blt/props.mma Base-2/blt/defs.ma
431 LambdaDelta-2/arity/cimp.mma LambdaDelta-1/arity/cimp.ma LambdaDelta-2/arity/defs.ma LambdaDelta-2/cimp/props.ma
432 LambdaDelta-2/csubv/drop.ma LambdaDelta-2/csubv/drop.mma LambdaDelta-2/csubv/props.ma LambdaDelta-2/drop/fwd.ma
433 LambdaDelta-1/T/props.ma LambdaDelta-1/T/defs.ma
434 LambdaDelta-2/arity/lift1.mma LambdaDelta-1/arity/lift1.ma LambdaDelta-2/arity/props.ma LambdaDelta-2/drop1/fwd.ma
435 LambdaDelta-2/ex0/defs.ma LambdaDelta-2/ex0/defs.mma LambdaDelta-2/A/defs.ma LambdaDelta-2/G/defs.ma
436 LambdaDelta-2/cimp/defs.mma LambdaDelta-2/getl/defs.ma
437 LambdaDelta-2/drop1/getl.mma LambdaDelta-1/drop1/getl.ma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/getl/drop.ma
438 Legacy-2/coq/defs.ma Legacy-2/coq/defs.mma Legacy-2/preamble.ma
439 LambdaDelta-2/aprem/fwd.ma LambdaDelta-2/aprem/fwd.mma LambdaDelta-2/aprem/defs.ma
440 LambdaDelta-2/subst1/defs.mma LambdaDelta-2/subst0/defs.ma
441 LambdaDelta-2/lift1/defs.mma LambdaDelta-2/lift/defs.ma
442 LambdaDelta-1/csubv/getl.ma LambdaDelta-1/csubv/clear.ma LambdaDelta-1/csubv/drop.ma LambdaDelta-1/getl/fwd.ma
443 LambdaDelta-2/csubt/clear.ma LambdaDelta-2/csubt/clear.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubt/defs.ma
444 LambdaDelta-1/ty3/arity.ma LambdaDelta-1/arity/pr3.ma LambdaDelta-1/asucc/fwd.ma LambdaDelta-1/ty3/pr3_props.ma
445 LambdaDelta-2/csuba/props.ma LambdaDelta-2/csuba/props.mma LambdaDelta-2/csuba/defs.ma
446 LambdaDelta-2/next_plus/defs.ma LambdaDelta-2/next_plus/defs.mma LambdaDelta-2/G/defs.ma
447 LambdaDelta-1/arity/fwd.ma LambdaDelta-1/arity/defs.ma LambdaDelta-1/getl/drop.ma LambdaDelta-1/leq/asucc.ma
448 LambdaDelta-2/r/defs.ma LambdaDelta-2/r/defs.mma LambdaDelta-2/T/defs.ma
449 LambdaDelta-2/csubst1/props.mma LambdaDelta-1/csubst1/props.ma LambdaDelta-2/csubst1/defs.ma LambdaDelta-2/subst1/defs.ma
450 LambdaDelta-2/leq/defs.mma LambdaDelta-2/aplus/defs.ma
451 LambdaDelta-2/asucc/fwd.ma LambdaDelta-2/asucc/fwd.mma LambdaDelta-2/asucc/defs.ma
452 LambdaDelta-2/tlt/defs.ma LambdaDelta-2/tlt/defs.mma LambdaDelta-2/T/defs.ma
453 LambdaDelta-2/arity/cimp.ma LambdaDelta-2/arity/cimp.mma LambdaDelta-2/arity/defs.ma LambdaDelta-2/cimp/props.ma
454 LambdaDelta-1/pr2/defs.ma LambdaDelta-1/getl/defs.ma LambdaDelta-1/pr0/defs.ma
455 Base-2/theory.ma Base-2/blt/props.ma Base-2/ext/arith.ma Base-2/ext/tactics.ma Base-2/plist/props.ma Base-2/types/props.ma
456 LambdaDelta-1/csubc/getl.ma LambdaDelta-1/csubc/clear.ma LambdaDelta-1/csubc/drop.ma
457 LambdaDelta-2/A/defs.ma LambdaDelta-2/A/defs.mma LambdaDelta-2/preamble.ma
458 LambdaDelta-2/csubt/csuba.ma LambdaDelta-2/csubt/csuba.mma LambdaDelta-2/ty3/arity.ma
459 LambdaDelta-1/pr3/fwd.ma LambdaDelta-1/pr2/fwd.ma LambdaDelta-1/pr3/props.ma
460 LambdaDelta-2/pc3/props.ma LambdaDelta-2/pc3/props.mma LambdaDelta-2/pc3/defs.ma LambdaDelta-2/pr3/pr3.ma
461 LambdaDelta-2/sty0/fwd.mma LambdaDelta-1/sty0/fwd.ma LambdaDelta-2/sty0/defs.ma
462 LambdaDelta-2/csubc/drop.ma LambdaDelta-2/csubc/drop.mma LambdaDelta-2/csubc/fwd.ma LambdaDelta-2/sc3/props.ma
463 LambdaDelta-1/clen/getl.ma LambdaDelta-1/clen/defs.ma LambdaDelta-1/getl/props.ma
464 LambdaDelta-1/sn3/defs.ma LambdaDelta-1/pr3/defs.ma
465 LambdaDelta-1/ty3/pr3_props.ma LambdaDelta-1/ty3/pr3.ma
466 LambdaDelta-1/pc1/defs.ma LambdaDelta-1/pr1/defs.ma
467 LambdaDelta-2/iso/props.ma LambdaDelta-2/iso/props.mma LambdaDelta-2/iso/fwd.ma
468 LambdaDelta-1/drop/defs.ma LambdaDelta-1/C/defs.ma LambdaDelta-1/lift/defs.ma LambdaDelta-1/r/defs.ma
469 LambdaDelta-2/tlist/props.ma LambdaDelta-2/tlist/props.mma LambdaDelta-2/tlist/defs.ma
470 LambdaDelta-2/subst0/defs.mma LambdaDelta-2/lift/defs.ma
471 LambdaDelta-2/clear/props.ma LambdaDelta-2/clear/props.mma LambdaDelta-2/clear/fwd.ma
472 LambdaDelta-2/subst0/subst0.ma LambdaDelta-2/subst0/subst0.mma LambdaDelta-2/subst0/props.ma
473 LambdaDelta-2/s/props.ma LambdaDelta-2/s/props.mma LambdaDelta-2/s/defs.ma
474 LambdaDelta-2/csubst0/defs.ma LambdaDelta-2/csubst0/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/subst0/defs.ma
475 LambdaDelta-2/asucc/defs.mma LambdaDelta-2/A/defs.ma LambdaDelta-2/G/defs.ma
476 LambdaDelta-2/lift/fwd.mma LambdaDelta-1/lift/fwd.ma LambdaDelta-2/lift/defs.ma
477 LambdaDelta-1/ty3/props.ma LambdaDelta-1/pc3/fwd.ma LambdaDelta-1/ty3/fwd.ma
478 LambdaDelta-2/r/props.ma LambdaDelta-2/r/props.mma LambdaDelta-2/r/defs.ma LambdaDelta-2/s/defs.ma
479 LambdaDelta-2/drop1/fwd.mma LambdaDelta-1/drop1/fwd.ma LambdaDelta-2/drop1/defs.ma
480 LambdaDelta-2/ty3/pr3_props.mma LambdaDelta-1/ty3/pr3_props.ma LambdaDelta-2/ty3/pr3.ma
481 LambdaDelta-2/C/defs.mma LambdaDelta-2/T/defs.ma
482 LambdaDelta-2/sty0/props.mma LambdaDelta-1/sty0/props.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/sty0/defs.ma
483 LambdaDelta-2/pc3/wcpr0.ma LambdaDelta-2/pc3/wcpr0.mma LambdaDelta-2/pc3/props.ma LambdaDelta-2/wcpr0/getl.ma
484 LambdaDelta-2/arity/props.ma LambdaDelta-2/arity/props.mma LambdaDelta-2/arity/fwd.ma
485 LambdaDelta-2/csubst0/drop.mma LambdaDelta-1/csubst0/drop.ma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/s/props.ma
486 LambdaDelta-1/app/defs.ma LambdaDelta-1/C/defs.ma
487 LambdaDelta-2/wcpr0/getl.ma LambdaDelta-2/wcpr0/getl.mma LambdaDelta-2/getl/props.ma LambdaDelta-2/wcpr0/defs.ma
488 LambdaDelta-2/pc1/props.ma LambdaDelta-2/pc1/props.mma LambdaDelta-2/pc1/defs.ma LambdaDelta-2/pr1/pr1.ma
489 Base-2/ext/tactics.mma Base-1/ext/tactics.ma Base-2/preamble.ma
490 LambdaDelta-2/aplus/props.ma LambdaDelta-2/aplus/props.mma LambdaDelta-2/aplus/defs.ma LambdaDelta-2/next_plus/props.ma
491 LambdaDelta-2/pr2/subst1.mma LambdaDelta-1/pr2/subst1.ma LambdaDelta-2/csubst1/fwd.ma LambdaDelta-2/csubst1/getl.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr0/subst1.ma LambdaDelta-2/pr2/defs.ma LambdaDelta-2/subst1/subst1.ma
492 LambdaDelta-1/ty3/fsubst0.ma LambdaDelta-1/getl/getl.ma LambdaDelta-1/pc3/fsubst0.ma LambdaDelta-1/ty3/props.ma
493 LambdaDelta-1/aprem/defs.ma LambdaDelta-1/A/defs.ma
494 LambdaDelta-2/tlt/defs.mma LambdaDelta-2/T/defs.ma
495 LambdaDelta-1/arity/defs.ma LambdaDelta-1/getl/defs.ma LambdaDelta-1/leq/defs.ma
496 LambdaDelta-2/wf3/defs.mma LambdaDelta-2/ty3/defs.ma
497 LambdaDelta-2/pr1/pr1.ma LambdaDelta-2/pr1/pr1.mma LambdaDelta-2/pr0/pr0.ma LambdaDelta-2/pr1/props.ma
498 LambdaDelta-2/A/defs.mma LambdaDelta-2/preamble.ma
499 LambdaDelta-1/arity/pr3.ma LambdaDelta-1/arity/subst0.ma LambdaDelta-1/csuba/arity.ma LambdaDelta-1/pr0/fwd.ma LambdaDelta-1/pr1/defs.ma LambdaDelta-1/pr3/defs.ma LambdaDelta-1/wcpr0/getl.ma
500 LambdaDelta-2/drop1/props.mma LambdaDelta-1/drop1/props.ma LambdaDelta-2/drop/props.ma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/getl/defs.ma
501 LambdaDelta-1/wcpr0/fwd.ma LambdaDelta-1/wcpr0/defs.ma
502 LambdaDelta-2/getl/drop.mma LambdaDelta-1/getl/drop.ma LambdaDelta-2/clear/drop.ma LambdaDelta-2/getl/props.ma
503 LambdaDelta-2/pc3/left.ma LambdaDelta-2/pc3/left.mma LambdaDelta-2/pc3/props.ma
504 LambdaDelta-1/ty3/subst1.ma LambdaDelta-1/getl/getl.ma LambdaDelta-1/pc3/subst1.ma LambdaDelta-1/ty3/props.ma
506 LambdaDelta-1/pr3/pr3.ma LambdaDelta-1/pr2/pr2.ma LambdaDelta-1/pr3/props.ma
507 Base-1/ext/arith.ma Base-1/preamble.ma
508 LambdaDelta-1/llt/props.ma LambdaDelta-1/leq/defs.ma LambdaDelta-1/llt/defs.ma
509 Base-1/plist/defs.ma Base-1/preamble.ma
510 LambdaDelta-2/nf2/iso.ma LambdaDelta-2/nf2/iso.mma LambdaDelta-2/iso/props.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/pr3/fwd.ma
511 LambdaDelta-2/iso/fwd.mma LambdaDelta-1/iso/fwd.ma LambdaDelta-2/iso/defs.ma LambdaDelta-2/tlist/defs.ma
512 LambdaDelta-1/csubst0/defs.ma LambdaDelta-1/C/defs.ma LambdaDelta-1/subst0/defs.ma
513 LambdaDelta-2/csubc/fwd.mma LambdaDelta-1/csubc/fwd.ma LambdaDelta-2/csubc/defs.ma
514 LambdaDelta-2/pc3/fwd.mma LambdaDelta-1/pc3/fwd.ma LambdaDelta-2/pc3/props.ma LambdaDelta-2/pr3/fwd.ma
515 LambdaDelta-2/fsubst0/defs.ma LambdaDelta-2/fsubst0/defs.mma LambdaDelta-2/csubst0/defs.ma
516 LambdaDelta-1/sty0/fwd.ma LambdaDelta-1/sty0/defs.ma
517 LambdaDelta-2/pc1/props.mma LambdaDelta-1/pc1/props.ma LambdaDelta-2/pc1/defs.ma LambdaDelta-2/pr1/pr1.ma
518 LambdaDelta-1/csubc/drop1.ma LambdaDelta-1/csubc/drop.ma
519 LambdaDelta-2/csuba/fwd.ma LambdaDelta-2/csuba/fwd.mma LambdaDelta-2/csuba/defs.ma
520 LambdaDelta-2/drop/props.ma LambdaDelta-2/drop/props.mma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/r/props.ma
521 LambdaDelta-2/subst0/tlt.ma LambdaDelta-2/subst0/tlt.mma LambdaDelta-2/lift/props.ma LambdaDelta-2/lift/tlt.ma LambdaDelta-2/subst0/defs.ma
522 LambdaDelta-1/pr3/subst1.ma LambdaDelta-1/pr2/subst1.ma LambdaDelta-1/pr3/defs.ma
523 LambdaDelta-2/csubt/ty3.mma LambdaDelta-1/csubt/ty3.ma LambdaDelta-2/csubt/pc3.ma LambdaDelta-2/csubt/props.ma
524 LambdaDelta-2/csubt/csuba.mma LambdaDelta-1/csubt/csuba.ma LambdaDelta-2/ty3/arity.ma
525 LambdaDelta-1/clear/defs.ma LambdaDelta-1/C/defs.ma
526 LambdaDelta-1/pr3/props.ma LambdaDelta-1/pr1/props.ma LambdaDelta-1/pr2/props.ma LambdaDelta-1/pr3/pr1.ma
527 LambdaDelta-2/arity/props.mma LambdaDelta-1/arity/props.ma LambdaDelta-2/arity/fwd.ma
528 LambdaDelta-2/sn3/props.ma LambdaDelta-2/sn3/props.mma LambdaDelta-2/nf2/iso.ma LambdaDelta-2/pr3/iso.ma LambdaDelta-2/sn3/fwd.ma LambdaDelta-2/sn3/nf2.ma
529 LambdaDelta-1/getl/defs.ma LambdaDelta-1/clear/defs.ma LambdaDelta-1/drop/defs.ma
530 LambdaDelta-2/pr3/wcpr0.mma LambdaDelta-1/pr3/wcpr0.ma LambdaDelta-2/pr3/props.ma LambdaDelta-2/wcpr0/getl.ma
531 LambdaDelta-1/wf3/clear.ma LambdaDelta-1/wf3/fwd.ma
532 LambdaDelta-1/getl/props.ma LambdaDelta-1/clear/props.ma LambdaDelta-1/drop/props.ma LambdaDelta-1/getl/fwd.ma
533 LambdaDelta-1/clear/fwd.ma LambdaDelta-1/clear/defs.ma
534 LambdaDelta-2/pc3/props.mma LambdaDelta-1/pc3/props.ma LambdaDelta-2/pc3/defs.ma LambdaDelta-2/pr3/pr3.ma
535 LambdaDelta-1/preamble.ma Base-1/theory.ma
536 LambdaDelta-2/asucc/defs.ma LambdaDelta-2/asucc/defs.mma LambdaDelta-2/A/defs.ma LambdaDelta-2/G/defs.ma
537 LambdaDelta-1/pr2/props.ma LambdaDelta-1/getl/clear.ma LambdaDelta-1/getl/drop.ma LambdaDelta-1/pr0/props.ma LambdaDelta-1/pr2/defs.ma
538 LambdaDelta-1/ex2/defs.ma LambdaDelta-1/C/defs.ma
539 LambdaDelta-1/arity/lift1.ma LambdaDelta-1/arity/props.ma LambdaDelta-1/drop1/fwd.ma
540 LambdaDelta-1/leq/asucc.ma LambdaDelta-1/leq/props.ma
541 LambdaDelta-2/getl/getl.ma LambdaDelta-2/getl/getl.mma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma
542 LambdaDelta-1/next_plus/defs.ma LambdaDelta-1/G/defs.ma
543 LambdaDelta-2/cimp/props.ma LambdaDelta-2/cimp/props.mma LambdaDelta-2/cimp/defs.ma LambdaDelta-2/getl/getl.ma
544 LambdaDelta-2/ex1/props.mma LambdaDelta-1/ex1/props.ma LambdaDelta-2/arity/defs.ma LambdaDelta-2/ex1/defs.ma LambdaDelta-2/leq/props.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/nf2/props.ma LambdaDelta-2/pc3/fwd.ma LambdaDelta-2/ty3/fwd.ma
545 LambdaDelta-1/subst/defs.ma LambdaDelta-1/lift/defs.ma
546 LambdaDelta-2/lift1/props.ma LambdaDelta-2/lift1/props.mma LambdaDelta-2/drop1/defs.ma LambdaDelta-2/lift/props.ma
547 LambdaDelta-2/cnt/defs.ma LambdaDelta-2/cnt/defs.mma LambdaDelta-2/T/defs.ma
548 LambdaDelta-2/wcpr0/getl.mma LambdaDelta-1/wcpr0/getl.ma LambdaDelta-2/getl/props.ma LambdaDelta-2/wcpr0/defs.ma
549 LambdaDelta-2/subst/props.mma LambdaDelta-1/subst/props.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst/fwd.ma LambdaDelta-2/subst0/defs.ma
550 LambdaDelta-2/lift/props.mma LambdaDelta-1/lift/props.ma LambdaDelta-2/lift/fwd.ma LambdaDelta-2/s/props.ma
551 LambdaDelta-2/csubc/drop.mma LambdaDelta-1/csubc/drop.ma LambdaDelta-2/csubc/fwd.ma LambdaDelta-2/sc3/props.ma
552 LambdaDelta-1/pr3/wcpr0.ma LambdaDelta-1/pr3/props.ma LambdaDelta-1/wcpr0/getl.ma
553 LambdaDelta-2/subst1/props.ma LambdaDelta-2/subst1/props.mma LambdaDelta-2/subst0/props.ma LambdaDelta-2/subst1/defs.ma
554 LambdaDelta-2/leq/props.ma LambdaDelta-2/leq/props.mma LambdaDelta-2/aplus/props.ma LambdaDelta-2/leq/fwd.ma
555 LambdaDelta-2/pr1/defs.ma LambdaDelta-2/pr1/defs.mma LambdaDelta-2/pr0/defs.ma
556 LambdaDelta-2/csubst1/getl.mma LambdaDelta-1/csubst1/getl.ma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/csubst1/props.ma LambdaDelta-2/drop/props.ma LambdaDelta-2/subst1/props.ma
557 LambdaDelta-2/arity/subst0.ma LambdaDelta-2/arity/subst0.mma LambdaDelta-2/arity/props.ma LambdaDelta-2/csubst0/getl.ma LambdaDelta-2/fsubst0/fwd.ma LambdaDelta-2/getl/getl.ma LambdaDelta-2/subst0/dec.ma LambdaDelta-2/subst0/fwd.ma
558 LambdaDelta-2/getl/props.mma LambdaDelta-1/getl/props.ma LambdaDelta-2/clear/props.ma LambdaDelta-2/drop/props.ma LambdaDelta-2/getl/fwd.ma
559 LambdaDelta-2/cnt/defs.mma LambdaDelta-2/T/defs.ma
560 LambdaDelta-1/spare.ma LambdaDelta-1/theory.ma
561 LambdaDelta-1/pr1/props.ma LambdaDelta-1/T/props.ma LambdaDelta-1/pr0/subst1.ma LambdaDelta-1/pr1/defs.ma LambdaDelta-1/subst1/props.ma
562 LambdaDelta-2/sty0/defs.ma LambdaDelta-2/sty0/defs.mma LambdaDelta-2/G/defs.ma LambdaDelta-2/getl/defs.ma
563 LambdaDelta-1/fsubst0/defs.ma LambdaDelta-1/csubst0/defs.ma
564 LambdaDelta-1/flt/props.ma LambdaDelta-1/C/props.ma LambdaDelta-1/flt/defs.ma
565 LambdaDelta-1/s/props.ma LambdaDelta-1/s/defs.ma
566 LambdaDelta-2/subst0/props.ma LambdaDelta-2/subst0/props.mma LambdaDelta-2/subst0/fwd.ma
567 LambdaDelta-1/flt/defs.ma LambdaDelta-1/C/defs.ma
568 LambdaDelta-2/csubst1/fwd.mma LambdaDelta-1/csubst1/fwd.ma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/csubst1/defs.ma LambdaDelta-2/subst1/props.ma
569 LambdaDelta-2/csubst0/getl.mma LambdaDelta-1/csubst0/getl.ma LambdaDelta-2/csubst0/clear.ma LambdaDelta-2/csubst0/drop.ma LambdaDelta-2/getl/fwd.ma
570 LambdaDelta-1/csubc/clear.ma LambdaDelta-1/csubc/fwd.ma
571 LambdaDelta-2/G/defs.ma LambdaDelta-2/G/defs.mma LambdaDelta-2/preamble.ma
572 LambdaDelta-1/subst0/defs.ma LambdaDelta-1/lift/defs.ma
573 LambdaDelta-2/cimp/defs.ma LambdaDelta-2/cimp/defs.mma LambdaDelta-2/getl/defs.ma
574 LambdaDelta-2/theory.ma LambdaDelta-2/csubt/csuba.ma LambdaDelta-2/ex0/props.ma LambdaDelta-2/ex1/props.ma LambdaDelta-2/ex2/props.ma LambdaDelta-2/pr3/wcpr0.ma LambdaDelta-2/sty1/cnt.ma LambdaDelta-2/subst/props.ma LambdaDelta-2/subst0/tlt.ma LambdaDelta-2/ty3/fwd_nf2.ma LambdaDelta-2/ty3/nf2.ma LambdaDelta-2/ty3/sty0.ma LambdaDelta-2/wcpr0/fwd.ma LambdaDelta-2/wf3/props.ma
575 LambdaDelta-1/pr0/props.ma LambdaDelta-1/pr0/defs.ma LambdaDelta-1/subst0/subst0.ma
576 LambdaDelta-1/C/defs.ma LambdaDelta-1/T/defs.ma
577 LambdaDelta-1/r/props.ma LambdaDelta-1/r/defs.ma LambdaDelta-1/s/defs.ma
578 LambdaDelta-2/lift/defs.ma LambdaDelta-2/lift/defs.mma LambdaDelta-2/s/defs.ma LambdaDelta-2/tlist/defs.ma
579 LambdaDelta-2/drop1/defs.ma LambdaDelta-2/drop1/defs.mma LambdaDelta-2/drop/defs.ma LambdaDelta-2/lift1/defs.ma
580 LambdaDelta-2/subst0/fwd.mma LambdaDelta-1/subst0/fwd.ma LambdaDelta-2/lift/props.ma LambdaDelta-2/subst0/defs.ma
581 LambdaDelta-1/sty1/props.ma LambdaDelta-1/sty0/props.ma LambdaDelta-1/sty1/defs.ma
582 LambdaDelta-2/getl/flt.mma LambdaDelta-1/getl/flt.ma LambdaDelta-2/clear/props.ma LambdaDelta-2/flt/props.ma LambdaDelta-2/getl/fwd.ma
583 LambdaDelta-2/C/props.ma LambdaDelta-2/C/props.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/T/props.ma
584 LambdaDelta-2/csuba/drop.mma LambdaDelta-1/csuba/drop.ma LambdaDelta-2/csuba/fwd.ma LambdaDelta-2/drop/fwd.ma
585 LambdaDelta-2/clen/defs.ma LambdaDelta-2/clen/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/s/defs.ma
586 LambdaDelta-1/csubc/csuba.ma LambdaDelta-1/csubc/defs.ma LambdaDelta-1/sc3/props.ma
587 LambdaDelta-2/sn3/nf2.mma LambdaDelta-1/sn3/nf2.ma LambdaDelta-2/nf2/dec.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/sn3/defs.ma
588 LambdaDelta-2/sty1/cnt.ma LambdaDelta-2/sty1/cnt.mma LambdaDelta-2/cnt/props.ma LambdaDelta-2/sty1/props.ma
589 LambdaDelta-2/pr3/pr1.ma LambdaDelta-2/pr3/pr1.mma LambdaDelta-2/pr1/defs.ma LambdaDelta-2/pr3/defs.ma
590 LambdaDelta-2/getl/dec.mma LambdaDelta-1/getl/dec.ma LambdaDelta-2/getl/props.ma
591 LambdaDelta-2/fsubst0/defs.mma LambdaDelta-2/csubst0/defs.ma
592 LambdaDelta-2/wf3/getl.ma LambdaDelta-2/wf3/getl.mma LambdaDelta-2/ty3/dec.ma LambdaDelta-2/wf3/clear.ma
593 LambdaDelta-2/wf3/fwd.ma LambdaDelta-2/wf3/fwd.mma LambdaDelta-2/wf3/defs.ma
594 LambdaDelta-1/csubt/getl.ma LambdaDelta-1/csubt/clear.ma LambdaDelta-1/csubt/drop.ma LambdaDelta-1/getl/clear.ma
595 LambdaDelta-1/csubv/props.ma LambdaDelta-1/T/props.ma LambdaDelta-1/csubv/defs.ma
596 LambdaDelta-1/lift1/fwd.ma LambdaDelta-1/lift/fwd.ma LambdaDelta-1/lift1/defs.ma
597 LambdaDelta-1/sty0/props.ma LambdaDelta-1/getl/drop.ma LambdaDelta-1/sty0/defs.ma
598 LambdaDelta-2/tlist/props.mma LambdaDelta-1/tlist/props.ma LambdaDelta-2/tlist/defs.ma
599 LambdaDelta-2/csubv/defs.mma LambdaDelta-2/C/defs.ma
600 LambdaDelta-2/csubt/drop.ma LambdaDelta-2/csubt/drop.mma LambdaDelta-2/csubt/fwd.ma LambdaDelta-2/drop/fwd.ma
601 LambdaDelta-1/ty3/defs.ma LambdaDelta-1/G/defs.ma LambdaDelta-1/pc3/defs.ma
602 LambdaDelta-2/getl/getl.mma LambdaDelta-1/getl/getl.ma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma
603 LambdaDelta-2/ty3/subst1.mma LambdaDelta-1/ty3/subst1.ma LambdaDelta-2/getl/getl.ma LambdaDelta-2/pc3/subst1.ma LambdaDelta-2/ty3/props.ma
604 LambdaDelta-2/nf2/lift1.ma LambdaDelta-2/nf2/lift1.mma LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/nf2/props.ma
605 LambdaDelta-1/ex2/props.ma LambdaDelta-1/arity/fwd.ma LambdaDelta-1/ex2/defs.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr2/fwd.ma
606 LambdaDelta-2/ty3/fsubst0.mma LambdaDelta-1/ty3/fsubst0.ma LambdaDelta-2/getl/getl.ma LambdaDelta-2/pc3/fsubst0.ma LambdaDelta-2/ty3/props.ma
607 LambdaDelta-2/subst0/subst0.mma LambdaDelta-1/subst0/subst0.ma LambdaDelta-2/subst0/props.ma
608 LambdaDelta-1/csuba/clear.ma LambdaDelta-1/clear/fwd.ma LambdaDelta-1/csuba/defs.ma
609 LambdaDelta-1/subst1/props.ma LambdaDelta-1/subst0/props.ma LambdaDelta-1/subst1/defs.ma
610 LambdaDelta-2/drop1/fwd.ma LambdaDelta-2/drop1/fwd.mma LambdaDelta-2/drop1/defs.ma
611 LambdaDelta-2/csubc/fwd.ma LambdaDelta-2/csubc/fwd.mma LambdaDelta-2/csubc/defs.ma
612 LambdaDelta-1/pr0/defs.ma LambdaDelta-1/subst0/defs.ma
613 LambdaDelta-2/sc3/defs.mma LambdaDelta-2/arity/defs.ma LambdaDelta-2/drop1/defs.ma LambdaDelta-2/sn3/defs.ma
614 LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr2/defs.ma
615 LambdaDelta-1/csuba/getl.ma LambdaDelta-1/csuba/clear.ma LambdaDelta-1/csuba/drop.ma LambdaDelta-1/getl/clear.ma
616 LambdaDelta-2/lift/fwd.ma LambdaDelta-2/lift/fwd.mma LambdaDelta-2/lift/defs.ma
617 LambdaDelta-2/clear/drop.mma LambdaDelta-1/clear/drop.ma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/drop/fwd.ma
618 LambdaDelta-2/csubv/defs.ma LambdaDelta-2/csubv/defs.mma LambdaDelta-2/C/defs.ma
619 LambdaDelta-2/csuba/drop.ma LambdaDelta-2/csuba/drop.mma LambdaDelta-2/csuba/fwd.ma LambdaDelta-2/drop/fwd.ma
620 LambdaDelta-1/pr1/pr1.ma LambdaDelta-1/pr0/pr0.ma LambdaDelta-1/pr1/props.ma
621 LambdaDelta-1/nf2/arity.ma LambdaDelta-1/arity/subst0.ma LambdaDelta-1/nf2/fwd.ma
622 LambdaDelta-2/T/props.mma LambdaDelta-1/T/props.ma LambdaDelta-2/T/defs.ma
623 Legacy-1/coq/props.ma Legacy-1/coq/defs.ma
624 LambdaDelta-2/ty3/fsubst0.ma LambdaDelta-2/ty3/fsubst0.mma LambdaDelta-2/getl/getl.ma LambdaDelta-2/pc3/fsubst0.ma LambdaDelta-2/ty3/props.ma
625 LambdaDelta-2/sn3/fwd.ma LambdaDelta-2/sn3/fwd.mma LambdaDelta-2/pr3/props.ma LambdaDelta-2/sn3/defs.ma
626 LambdaDelta-1/pr2/clen.ma LambdaDelta-1/clen/getl.ma LambdaDelta-1/pr2/props.ma
627 LambdaDelta-2/ty3/dec.mma LambdaDelta-1/ty3/dec.ma LambdaDelta-2/getl/dec.ma LambdaDelta-2/getl/flt.ma LambdaDelta-2/pc3/dec.ma
628 LambdaDelta-2/tlt/props.ma LambdaDelta-2/tlt/props.mma LambdaDelta-2/tlt/defs.ma
629 LambdaDelta-2/next_plus/props.mma LambdaDelta-1/next_plus/props.ma LambdaDelta-2/next_plus/defs.ma
630 LambdaDelta-1/arity/subst0.ma LambdaDelta-1/arity/props.ma LambdaDelta-1/csubst0/getl.ma LambdaDelta-1/fsubst0/fwd.ma LambdaDelta-1/getl/getl.ma LambdaDelta-1/subst0/dec.ma LambdaDelta-1/subst0/fwd.ma
631 LambdaDelta-2/pr0/subst1.ma LambdaDelta-2/pr0/subst1.mma LambdaDelta-2/pr0/props.ma LambdaDelta-2/subst1/defs.ma
632 LambdaDelta-2/lift/defs.mma LambdaDelta-2/s/defs.ma LambdaDelta-2/tlist/defs.ma
633 LambdaDelta-1/wf3/defs.ma LambdaDelta-1/ty3/defs.ma
634 LambdaDelta-1/ex1/props.ma LambdaDelta-1/arity/defs.ma LambdaDelta-1/ex1/defs.ma LambdaDelta-1/leq/props.ma LambdaDelta-1/nf2/pr3.ma LambdaDelta-1/nf2/props.ma LambdaDelta-1/pc3/fwd.ma LambdaDelta-1/ty3/fwd.ma
635 LambdaDelta-1/csubt/ty3.ma LambdaDelta-1/csubt/pc3.ma LambdaDelta-1/csubt/props.ma
636 Legacy-1/spare.ma Legacy-1/theory.ma
637 LambdaDelta-2/wf3/props.ma LambdaDelta-2/wf3/props.mma LambdaDelta-2/app/defs.ma LambdaDelta-2/wf3/ty3.ma
638 LambdaDelta-2/pr0/dec.mma LambdaDelta-1/pr0/dec.ma LambdaDelta-2/T/dec.ma LambdaDelta-2/T/props.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/subst0/dec.ma
639 LambdaDelta-2/csubst0/clear.ma LambdaDelta-2/csubst0/clear.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/csubst0/fwd.ma LambdaDelta-2/csubst0/props.ma
640 LambdaDelta-1/sc3/defs.ma LambdaDelta-1/arity/defs.ma LambdaDelta-1/drop1/defs.ma LambdaDelta-1/sn3/defs.ma
641 LambdaDelta-2/nf2/dec.mma LambdaDelta-1/nf2/dec.ma LambdaDelta-2/C/props.ma LambdaDelta-2/nf2/defs.ma LambdaDelta-2/pr0/dec.ma LambdaDelta-2/pr2/clen.ma LambdaDelta-2/pr2/fwd.ma
642 LambdaDelta-1/subst0/props.ma LambdaDelta-1/subst0/fwd.ma
643 LambdaDelta-1/getl/flt.ma LambdaDelta-1/clear/props.ma LambdaDelta-1/flt/props.ma LambdaDelta-1/getl/fwd.ma
644 Base-2/types/defs.ma Base-2/types/defs.mma Base-2/preamble.ma
645 LambdaDelta-1/csubv/drop.ma LambdaDelta-1/csubv/props.ma LambdaDelta-1/drop/fwd.ma
646 LambdaDelta-2/ty3/fwd.ma LambdaDelta-2/ty3/fwd.mma LambdaDelta-2/pc3/props.ma LambdaDelta-2/ty3/defs.ma
647 LambdaDelta-2/s/props.mma LambdaDelta-1/s/props.ma LambdaDelta-2/s/defs.ma
648 LambdaDelta-1/csubt/props.ma LambdaDelta-1/csubt/defs.ma
649 LambdaDelta-1/nf2/iso.ma LambdaDelta-1/iso/props.ma LambdaDelta-1/nf2/pr3.ma LambdaDelta-1/pr3/fwd.ma
650 LambdaDelta-2/arity/aprem.mma LambdaDelta-1/arity/aprem.ma LambdaDelta-2/aprem/props.ma LambdaDelta-2/arity/cimp.ma LambdaDelta-2/arity/props.ma
651 LambdaDelta-1/arity/cimp.ma LambdaDelta-1/arity/defs.ma LambdaDelta-1/cimp/props.ma
652 LambdaDelta-2/csubc/defs.ma LambdaDelta-2/csubc/defs.mma LambdaDelta-2/sc3/defs.ma
653 LambdaDelta-2/csubt/defs.mma LambdaDelta-2/ty3/defs.ma
654 LambdaDelta-2/iso/defs.ma LambdaDelta-2/iso/defs.mma LambdaDelta-2/T/defs.ma
655 LambdaDelta-2/ty3/fwd_nf2.mma LambdaDelta-1/ty3/fwd_nf2.ma LambdaDelta-2/nf2/fwd.ma LambdaDelta-2/pc3/nf2.ma LambdaDelta-2/ty3/arity_props.ma
656 LambdaDelta-1/llt/defs.ma LambdaDelta-1/A/defs.ma
657 LambdaDelta-2/pc3/defs.ma LambdaDelta-2/pc3/defs.mma LambdaDelta-2/pr3/defs.ma
658 LambdaDelta-2/cimp/props.mma LambdaDelta-1/cimp/props.ma LambdaDelta-2/cimp/defs.ma LambdaDelta-2/getl/getl.ma
659 LambdaDelta-2/aplus/props.mma LambdaDelta-1/aplus/props.ma LambdaDelta-2/aplus/defs.ma LambdaDelta-2/next_plus/props.ma
660 LambdaDelta-2/getl/clear.mma LambdaDelta-1/getl/clear.ma LambdaDelta-2/clear/drop.ma LambdaDelta-2/getl/props.ma
661 LambdaDelta-1/ex0/props.ma LambdaDelta-1/aplus/props.ma LambdaDelta-1/ex0/defs.ma LambdaDelta-1/leq/defs.ma
662 LambdaDelta-2/csubc/drop1.mma LambdaDelta-1/csubc/drop1.ma LambdaDelta-2/csubc/drop.ma
663 LambdaDelta-1/pc3/fsubst0.ma LambdaDelta-1/csubst0/getl.ma LambdaDelta-1/fsubst0/defs.ma LambdaDelta-1/pc3/left.ma
664 LambdaDelta-1/csubc/drop.ma LambdaDelta-1/csubc/fwd.ma LambdaDelta-1/sc3/props.ma
665 LambdaDelta-2/pr2/subst1.ma LambdaDelta-2/pr2/subst1.mma LambdaDelta-2/csubst1/fwd.ma LambdaDelta-2/csubst1/getl.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr0/subst1.ma LambdaDelta-2/pr2/defs.ma LambdaDelta-2/subst1/subst1.ma
666 LambdaDelta-2/ty3/arity.mma LambdaDelta-1/ty3/arity.ma LambdaDelta-2/arity/pr3.ma LambdaDelta-2/asucc/fwd.ma LambdaDelta-2/ty3/pr3_props.ma
667 LambdaDelta-2/pc3/fwd.ma LambdaDelta-2/pc3/fwd.mma LambdaDelta-2/pc3/props.ma LambdaDelta-2/pr3/fwd.ma
668 LambdaDelta-1/nf2/props.ma LambdaDelta-1/nf2/defs.ma LambdaDelta-1/pr2/fwd.ma
669 Base-1/blt/defs.ma Base-1/preamble.ma
670 LambdaDelta-2/nf2/iso.mma LambdaDelta-1/nf2/iso.ma LambdaDelta-2/iso/props.ma LambdaDelta-2/nf2/pr3.ma LambdaDelta-2/pr3/fwd.ma
671 LambdaDelta-2/csubc/drop1.ma LambdaDelta-2/csubc/drop1.mma LambdaDelta-2/csubc/drop.ma
672 LambdaDelta-2/csubc/getl.mma LambdaDelta-1/csubc/getl.ma LambdaDelta-2/csubc/clear.ma LambdaDelta-2/csubc/drop.ma
673 LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/clear.mma LambdaDelta-2/clear/drop.ma LambdaDelta-2/getl/props.ma
674 LambdaDelta-1/ty3/fwd_nf2.ma LambdaDelta-1/nf2/fwd.ma LambdaDelta-1/pc3/nf2.ma LambdaDelta-1/ty3/arity_props.ma
675 LambdaDelta-2/getl/fwd.ma LambdaDelta-2/getl/fwd.mma LambdaDelta-2/clear/fwd.ma LambdaDelta-2/drop/fwd.ma LambdaDelta-2/getl/defs.ma
676 LambdaDelta-2/tlt/props.mma LambdaDelta-1/tlt/props.ma LambdaDelta-2/tlt/defs.ma
677 Base-1/preamble.ma Legacy-1/theory.ma
678 LambdaDelta-2/ex1/defs.ma LambdaDelta-2/ex1/defs.mma LambdaDelta-2/C/defs.ma
679 LambdaDelta-2/csubc/csuba.mma LambdaDelta-1/csubc/csuba.ma LambdaDelta-2/csubc/defs.ma LambdaDelta-2/sc3/props.ma
680 LambdaDelta-2/subst/fwd.ma LambdaDelta-2/subst/fwd.mma LambdaDelta-2/subst/defs.ma
681 LambdaDelta-2/clen/defs.mma LambdaDelta-2/C/defs.ma LambdaDelta-2/s/defs.ma
682 LambdaDelta-2/iso/props.mma LambdaDelta-1/iso/props.ma LambdaDelta-2/iso/fwd.ma
683 LambdaDelta-1/drop/fwd.ma LambdaDelta-1/drop/defs.ma
684 LambdaDelta-2/csubt/fwd.mma LambdaDelta-1/csubt/fwd.ma LambdaDelta-2/csubt/defs.ma
685 Base-1/blt/props.ma Base-1/blt/defs.ma
686 LambdaDelta-1/pr3/defs.ma LambdaDelta-1/pr2/defs.ma
687 LambdaDelta-2/s/defs.ma LambdaDelta-2/s/defs.mma LambdaDelta-2/T/defs.ma
688 LambdaDelta-2/lift1/props.mma LambdaDelta-1/lift1/props.ma LambdaDelta-2/drop1/defs.ma LambdaDelta-2/lift/props.ma
689 LambdaDelta-1/aprem/fwd.ma LambdaDelta-1/aprem/defs.ma
690 LambdaDelta-2/ty3/arity_props.ma LambdaDelta-2/ty3/arity_props.mma LambdaDelta-2/sc3/arity.ma LambdaDelta-2/ty3/arity.ma
691 Base-1/plist/props.ma Base-1/plist/defs.ma
692 LambdaDelta-2/arity/lift1.ma LambdaDelta-2/arity/lift1.mma LambdaDelta-2/arity/props.ma LambdaDelta-2/drop1/fwd.ma
693 LambdaDelta-1/wcpr0/getl.ma LambdaDelta-1/getl/props.ma LambdaDelta-1/wcpr0/defs.ma
694 LambdaDelta-2/pr2/fwd.mma LambdaDelta-1/pr2/fwd.ma LambdaDelta-2/getl/clear.ma LambdaDelta-2/getl/drop.ma LambdaDelta-2/pr0/fwd.ma LambdaDelta-2/pr2/defs.ma
695 Base-1/ext/tactics.ma Base-1/preamble.ma
696 LambdaDelta-1/drop1/props.ma LambdaDelta-1/drop/props.ma LambdaDelta-1/drop1/fwd.ma LambdaDelta-1/getl/defs.ma
projects / helm.git / blob