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