1 cic:/matita/tests/absurd/stupid.con
2 cic:/matita/tests/apply2/test.con
3 cic:/matita/tests/apply/a.con
4 cic:/matita/tests/apply/b.con
5 cic:/matita/tests/apply/c.con
6 cic:/matita/tests/apply/d.con
7 cic:/matita/tests/applys/foo.con
8 cic:/matita/tests/applys/prova2.con
9 cic:/matita/tests/applys/prova.con
10 cic:/matita/tests/assumption/stupid.con
11 cic:/matita/tests/bad_induction/absurd.con
12 cic:/matita/tests/bad_induction/bad_ind.con
13 cic:/matita/tests/bool/bool507.con
14 cic:/matita/tests/change/stupid.con
15 cic:/matita/tests/change/t.con
16 cic:/matita/tests/clearbody/stupid.con
17 cic:/matita/tests/clear/stupid.con
18 cic:/matita/tests/coercions/a.con
19 cic:/matita/tests/coercions/c1.con
20 cic:/matita/tests/coercions/c2.con
21 cic:/matita/tests/coercions/c3.con
22 cic:/matita/tests/coercions/c4.con
23 cic:/matita/tests/coercions/church.con
24 cic:/matita/tests/coercions_contravariant/A1.con
25 cic:/matita/tests/coercions_contravariant/A.con
26 cic:/matita/tests/coercions_contravariant/B1.con
27 cic:/matita/tests/coercions_contravariant/B.con
28 cic:/matita/tests/coercions_contravariant/c.con
29 cic:/matita/tests/coercions_contravariant/d.con
30 cic:/matita/tests/coercions_contravariant/f.con
31 cic:/matita/tests/coercions_contravariant/foo1_1.con
32 cic:/matita/tests/coercions_contravariant/foo2.con
33 cic:/matita/tests/coercions_contravariant/foo3.con
34 cic:/matita/tests/coercions_contravariant/foo4.con
35 cic:/matita/tests/coercions_contravariant/foo.con
36 cic:/matita/tests/coercions_contravariant/g.con
37 cic:/matita/tests/coercions_contravariant/h.con
38 cic:/matita/tests/coercions_dependent/c.con
39 cic:/matita/tests/coercions_dependent/vec.ind
40 cic:/matita/tests/coercions_dependent/vec_ind.con
41 cic:/matita/tests/coercions_dependent/vec_inv.con
42 cic:/matita/tests/coercions_dependent/veclen.con
43 cic:/matita/tests/coercions_dependent/vec_rec.con
44 cic:/matita/tests/coercions_dependent/vec_rect.con
45 cic:/matita/tests/coercions_dependent/xxx.con
46 cic:/matita/tests/coercions/double1.con
47 cic:/matita/tests/coercions/double2.con
48 cic:/matita/tests/coercions/double.con
49 cic:/matita/tests/coercions/empty.ind
50 cic:/matita/tests/coercions/empty_ind.con
51 cic:/matita/tests/coercions/empty_rec.con
52 cic:/matita/tests/coercions/empty_rect.con
53 cic:/matita/tests/coercions/f.con
54 cic:/matita/tests/coercions/foo01.con
55 cic:/matita/tests/coercions/foo0.con
56 cic:/matita/tests/coercions/foo.con
57 cic:/matita/tests/coercions/fst.con
58 cic:/matita/tests/coercions/i2pos.con
59 cic:/matita/tests/coercions/if.con
60 cic:/matita/tests/coercions/initial.ind
61 cic:/matita/tests/coercions/initial_ind.con
62 cic:/matita/tests/coercions/initial_rec.con
63 cic:/matita/tests/coercions/initial_rect.con
64 cic:/matita/tests/coercions/int.ind
65 cic:/matita/tests/coercions/int_ind.con
66 cic:/matita/tests/coercions/int_OF_initial.con
67 cic:/matita/tests/coercions/int_OF_pos.con
68 cic:/matita/tests/coercions/int_rec.con
69 cic:/matita/tests/coercions/int_rect.con
70 cic:/matita/tests/coercions/ith.con
71 cic:/matita/tests/coercions/listn2function.con
72 cic:/matita/tests/coercions/listn.ind
73 cic:/matita/tests/coercions/listn_ind.con
74 cic:/matita/tests/coercions/listn_inv.con
75 cic:/matita/tests/coercions/listn_rec.con
76 cic:/matita/tests/coercions/listn_rect.con
77 cic:/matita/tests/coercions/map.con
78 cic:/matita/tests/coercions/mapmult.con
79 cic:/matita/tests/coercions/nat2int.con
80 cic:/matita/tests/coercions/natlist2map.con
81 cic:/matita/tests/coercions/nat_OF_initial.con
82 cic:/matita/tests/coercions_nonuniform/A.con
83 cic:/matita/tests/coercions_nonuniform/B.con
84 cic:/matita/tests/coercions_nonuniform/B_OF_A.con
85 cic:/matita/tests/coercions_nonuniform/c1.con
86 cic:/matita/tests/coercions_nonuniform/c2.con
87 cic:/matita/tests/coercions_nonuniform/C.con
88 cic:/matita/tests/coercions_nonuniform/C_OF_A.con
89 cic:/matita/tests/coercions_nonuniform/C_OF_B.con
90 cic:/matita/tests/coercions_nonuniform/f1.con
91 cic:/matita/tests/coercions_nonuniform/f.con
92 cic:/matita/tests/coercions_nonuniform/g.con
93 cic:/matita/tests/coercions_nonuniform/k.con
94 cic:/matita/tests/coercions_nonuniform/test.con
95 cic:/matita/tests/coercions_open/AB.con
96 cic:/matita/tests/coercions_open/A.con
97 cic:/matita/tests/coercions_open/A_OF_A.con
98 cic:/matita/tests/coercions_open/B.con
99 cic:/matita/tests/coercions_open/B_OF_A.con
100 cic:/matita/tests/coercions_open/B_OF_B.con
101 cic:/matita/tests/coercions_open/daemon.con
102 cic:/matita/tests/coercions_open/eatA.con
103 cic:/matita/tests/coercions_open/eatB.con
104 cic:/matita/tests/coercions_open/jmcAB.con
105 cic:/matita/tests/coercions_open/jmcBA.con
106 cic:/matita/tests/coercions_open/xx.con
107 cic:/matita/tests/coercions/pos2nat.con
108 cic:/matita/tests/coercions/pos2nat'.con
109 cic:/matita/tests/coercions/pos.ind
110 cic:/matita/tests/coercions/pos_ind.con
111 cic:/matita/tests/coercions/pos_rec.con
112 cic:/matita/tests/coercions/pos_rect.con
113 cic:/matita/tests/coercions_propagation/eject.con
114 cic:/matita/tests/coercions_propagation/ejectN.con
115 cic:/matita/tests/coercions_propagation/f1.con
116 cic:/matita/tests/coercions_propagation/f.con
117 cic:/matita/tests/coercions_propagation/F.con
118 cic:/matita/tests/coercions_propagation/inject.con
119 cic:/matita/tests/coercions_propagation/injectN.con
120 cic:/matita/tests/coercions_propagation/NN.ind
121 cic:/matita/tests/coercions_propagation/NN_ind.con
122 cic:/matita/tests/coercions_propagation/NN_inv.con
123 cic:/matita/tests/coercions_propagation/NN_OF_NN.con
124 cic:/matita/tests/coercions_propagation/NN_rec.con
125 cic:/matita/tests/coercions_propagation/NN_rect.con
126 cic:/matita/tests/coercions_propagation/PN.con
127 cic:/matita/tests/coercions_propagation/sigma.ind
128 cic:/matita/tests/coercions_propagation/sigma_ind.con
129 cic:/matita/tests/coercions_propagation/sigma_OF_NN.con
130 cic:/matita/tests/coercions_propagation/sigma_OF_sigma1.con
131 cic:/matita/tests/coercions_propagation/sigma_OF_sigma.con
132 cic:/matita/tests/coercions_propagation/sigma_rec.con
133 cic:/matita/tests/coercions_propagation/sigma_rect.con
134 cic:/matita/tests/coercions_propagation/test2.con
135 cic:/matita/tests/coercions_propagation/test3.con
136 cic:/matita/tests/coercions_propagation/test4.con
137 cic:/matita/tests/coercions_propagation/test51_byhand.con
138 cic:/matita/tests/coercions_propagation/test51.con
139 cic:/matita/tests/coercions_propagation/test522.con
140 cic:/matita/tests/coercions_propagation/test5.con
141 cic:/matita/tests/coercions_propagation/test.con
142 cic:/matita/tests/coercions_russell/bind.con
143 cic:/matita/tests/coercions_russell/eject.con
144 cic:/matita/tests/coercions_russell/eject_opt.con
145 cic:/matita/tests/coercions_russell/f.con
146 cic:/matita/tests/coercions_russell/find_spec.con
147 cic:/matita/tests/coercions_russell/hd.con
148 cic:/matita/tests/coercions_russell/inject.con
149 cic:/matita/tests/coercions_russell/inject_opt.con
150 cic:/matita/tests/coercions_russell/list_OF_list.con
151 cic:/matita/tests/coercions_russell/mem_x_to_ex_l1_l2.con
152 cic:/matita/tests/coercions_russell/nat_return.con
153 cic:/matita/tests/coercions_russell/option_OF_nat.con
154 cic:/matita/tests/coercions_russell/option_OF_option.con
155 cic:/matita/tests/coercions_russell/raise_exn.con
156 cic:/matita/tests/coercions_russell/sigma_find_spec.con
157 cic:/matita/tests/coercions_russell/sigma.ind
158 cic:/matita/tests/coercions_russell/sigma_ind.con
159 cic:/matita/tests/coercions_russell/sigma_OF_list.con
160 cic:/matita/tests/coercions_russell/sigma_OF_nat1.con
161 cic:/matita/tests/coercions_russell/sigma_OF_nat.con
162 cic:/matita/tests/coercions_russell/sigma_OF_option.con
163 cic:/matita/tests/coercions_russell/sigma_OF_sigma1.con
164 cic:/matita/tests/coercions_russell/sigma_OF_sigma.con
165 cic:/matita/tests/coercions_russell/sigma_rec.con
166 cic:/matita/tests/coercions_russell/sigma_rect.con
167 cic:/matita/tests/coercions_russell/tl2.con
168 cic:/matita/tests/coercions_russell/tl.con
169 cic:/matita/tests/coercions_russell/try_with.con
170 cic:/matita/tests/coercions/T0.con
171 cic:/matita/tests/coercions/T1.con
172 cic:/matita/tests/coercions/T1_OF_T0.con
173 cic:/matita/tests/coercions/T2.con
174 cic:/matita/tests/coercions/T2_OF_T0.con
175 cic:/matita/tests/coercions/T3.con
176 cic:/matita/tests/coercions/T3_OF_T01.con
177 cic:/matita/tests/coercions/T3_OF_T0.con
178 cic:/matita/tests/coercions/T3_OF_T1.con
179 cic:/matita/tests/coercions/T3_OF_T2.con
180 cic:/matita/tests/comments/a.con
181 cic:/matita/tests/compose/an_1.con
182 cic:/matita/tests/constructor/stupid.con
183 cic:/matita/tests/continuationals/branch.con
184 cic:/matita/tests/continuationals/dot.con
185 cic:/matita/tests/continuationals/dot_slice.con
186 cic:/matita/tests/continuationals/focus.con
187 cic:/matita/tests/continuationals/pos.con
188 cic:/matita/tests/continuationals/semicolon.con
189 cic:/matita/tests/continuationals/skip.con
190 cic:/matita/tests/continuationals/skip_focus.con
191 cic:/matita/tests/contradiction/stupid.con
192 cic:/matita/tests/cut/stupid.con
193 cic:/matita/tests/decl/easy15.con
194 cic:/matita/tests/decl/easy2.con
195 cic:/matita/tests/decl/easy3.con
196 cic:/matita/tests/decl/easy45.con
197 cic:/matita/tests/decl/easy4.con
198 cic:/matita/tests/decl/easy5.con
199 cic:/matita/tests/decl/easy6.con
200 cic:/matita/tests/decl/easy.con
201 cic:/matita/tests/decl/size.con
202 cic:/matita/tests/decl/tree.ind
203 cic:/matita/tests/decl/tree_ind.con
204 cic:/matita/tests/decl/tree_rec.con
205 cic:/matita/tests/decl/tree_rect.con
206 cic:/matita/tests/decompose/ex_falso_quodlibet.con
207 cic:/matita/tests/decompose/MyFalse.con
208 cic:/matita/tests/decompose/stupid.con
209 cic:/matita/tests/dependent_type_inference/foo.con
210 cic:/matita/tests/elim/foo.con
211 cic:/matita/tests/elim/serious.con
212 cic:/matita/tests/elim/stupidtype.ind
213 cic:/matita/tests/elim/stupidtype_ind.con
214 cic:/matita/tests/elim/stupidtype_rec.con
215 cic:/matita/tests/elim/stupidtype_rect.con
216 cic:/matita/tests/elim/sum.ind
217 cic:/matita/tests/elim/sum_ind.con
218 cic:/matita/tests/elim/sum_inv.con
219 cic:/matita/tests/elim/sum_rec.con
220 cic:/matita/tests/elim/sum_rect.con
221 cic:/matita/tests/elim/t.con
222 cic:/matita/tests/elim/t'.con
223 cic:/matita/tests/fguidi/eq_gen_S_O_cc.con
224 cic:/matita/tests/fguidi/eq_gen_S_O.con
225 cic:/matita/tests/fguidi/eq_gen_S_S_cc.con
226 cic:/matita/tests/fguidi/eq_gen_S_S.con
227 cic:/matita/tests/fguidi/is_S.con
228 cic:/matita/tests/fguidi/le_gen_S_S_cc.con
229 cic:/matita/tests/fguidi/le_gen_S_S.con
230 cic:/matita/tests/fguidi/le_gen_S_x_aux.con
231 cic:/matita/tests/fguidi/le_gen_S_x_cc.con
232 cic:/matita/tests/fguidi/le_gen_S_x.con
233 cic:/matita/tests/fguidi/le_gen_x_O_aux.con
234 cic:/matita/tests/fguidi/le_gen_x_O_cc.con
235 cic:/matita/tests/fguidi/le_gen_x_O.con
236 cic:/matita/tests/fguidi/le.ind
237 cic:/matita/tests/fguidi/le_ind.con
238 cic:/matita/tests/fguidi/le_inv.con
239 cic:/matita/tests/fguidi/le_refl.con
240 cic:/matita/tests/fguidi/pred.con
241 cic:/matita/tests/first/eq.ind
242 cic:/matita/tests/first/eq_ind.con
243 cic:/matita/tests/first/list.ind
244 cic:/matita/tests/first/list_ind.con
245 cic:/matita/tests/first/list_len.con
246 cic:/matita/tests/first/list_rec.con
247 cic:/matita/tests/first/list_rect.con
248 cic:/matita/tests/first/nat.ind
249 cic:/matita/tests/first/nat_ind.con
250 cic:/matita/tests/first/nat_rec.con
251 cic:/matita/tests/first/nat_rect.con
252 cic:/matita/tests/first/stupid.con
253 cic:/matita/tests/fix_betareduction/a.con
254 cic:/matita/tests/fold/t.con
255 cic:/matita/tests/generalize/t.con
256 cic:/matita/tests/generalize/test2.con
257 cic:/matita/tests/hard_refine/prove_add_multiply.con
258 cic:/matita/tests/injection/injection_test0.con
259 cic:/matita/tests/injection/injection_test1.con
260 cic:/matita/tests/injection/injection_test2.con
261 cic:/matita/tests/injection/injection_test4.con
262 cic:/matita/tests/injection/t0.ind
263 cic:/matita/tests/injection/t0_ind.con
264 cic:/matita/tests/injection/t0_rec.con
265 cic:/matita/tests/injection/t0_rect.con
266 cic:/matita/tests/injection/t.ind
267 cic:/matita/tests/injection/t_ind.con
268 cic:/matita/tests/injection/t_inv.con
269 cic:/matita/tests/injection/t_rec.con
270 cic:/matita/tests/injection/t_rect.con
271 cic:/matita/tests/injection/tt.ind
272 cic:/matita/tests/injection/tt_ind.con
273 cic:/matita/tests/injection/tt_inv.con
274 cic:/matita/tests/injection/tt_rec.con
275 cic:/matita/tests/injection/tt_rect.con
276 cic:/matita/tests/injection/ttree.ind
277 cic:/matita/tests/injection/ttree_ind.con
278 cic:/matita/tests/injection/ttree_inv.con
279 cic:/matita/tests/injection/ttree_rec.con
280 cic:/matita/tests/injection/ttree_rect.con
281 cic:/matita/tests/inversion2/ledx.ind
282 cic:/matita/tests/inversion2/ledx_ind.con
283 cic:/matita/tests/inversion2/ledx_inv.con
284 cic:/matita/tests/inversion2/le.ind
285 cic:/matita/tests/inversion2/le_ind.con
286 cic:/matita/tests/inversion2/le_inv2.con
287 cic:/matita/tests/inversion2/le_inv.con
288 cic:/matita/tests/inversion2/nat.ind
289 cic:/matita/tests/inversion2/nat_ind.con
290 cic:/matita/tests/inversion2/nat_rec.con
291 cic:/matita/tests/inversion2/nat_rect.con
292 cic:/matita/tests/inversion2/test_inversion.con
293 cic:/matita/tests/inversion/sum.ind
294 cic:/matita/tests/inversion/sum_ind.con
295 cic:/matita/tests/inversion/sum_inv.con
296 cic:/matita/tests/inversion/sum_rec.con
297 cic:/matita/tests/inversion/sum_rect.con
298 cic:/matita/tests/inversion/t1.con
299 cic:/matita/tests/inversion/t.con
300 cic:/matita/tests/letrecand/dispari2.con
301 cic:/matita/tests/letrecand/dispari.con
302 cic:/matita/tests/letrecand/pari2.con
303 cic:/matita/tests/letrecand/pari.con
304 cic:/matita/tests/letrecand/test_dispari2.con
305 cic:/matita/tests/letrecand/test_dispari.con
306 cic:/matita/tests/letrecand/test_pari2.con
307 cic:/matita/tests/letrecand/test_pari.con
308 cic:/matita/tests/letrec/plus.con
309 cic:/matita/tests/match_inference/empty2nat.con
310 cic:/matita/tests/match_inference/empty.ind
311 cic:/matita/tests/match_inference/empty_ind.con
312 cic:/matita/tests/match_inference/empty_rec.con
313 cic:/matita/tests/match_inference/empty_rect.con
314 cic:/matita/tests/match_inference/fst.con
315 cic:/matita/tests/match_inference/le.ind
316 cic:/matita/tests/match_inference/le_ind.con
317 cic:/matita/tests/match_inference/nat.ind
318 cic:/matita/tests/match_inference/nat_ind.con
319 cic:/matita/tests/match_inference/nat_rec.con
320 cic:/matita/tests/match_inference/nat_rect.con
321 cic:/matita/tests/match_inference/pos2nat.con
322 cic:/matita/tests/match_inference/pos.ind
323 cic:/matita/tests/match_inference/pos_ind.con
324 cic:/matita/tests/match_inference/pos_rec.con
325 cic:/matita/tests/match_inference/pos_rect.con
326 cic:/matita/tests/match_inference/Prod.ind
327 cic:/matita/tests/match_inference/Prod_ind.con
328 cic:/matita/tests/match_inference/Prod_rec.con
329 cic:/matita/tests/match_inference/Prod_rect.con
330 cic:/matita/tests/match_inference/r.con
331 cic:/matita/tests/match_inference/True.ind
332 cic:/matita/tests/match_inference/True_ind.con
333 cic:/matita/tests/match_inference/True_rec.con
334 cic:/matita/tests/match_inference/True_rect.con
335 cic:/matita/tests/metasenv_ordering/th10.con
336 cic:/matita/tests/metasenv_ordering/th11.con
337 cic:/matita/tests/metasenv_ordering/th1.con
338 cic:/matita/tests/metasenv_ordering/th2.con
339 cic:/matita/tests/metasenv_ordering/th3.con
340 cic:/matita/tests/metasenv_ordering/th4.con
341 cic:/matita/tests/metasenv_ordering/th5.con
342 cic:/matita/tests/metasenv_ordering/th6.con
343 cic:/matita/tests/metasenv_ordering/th7.con
344 cic:/matita/tests/metasenv_ordering/th8.con
345 cic:/matita/tests/metasenv_ordering/th9.con
346 cic:/matita/tests/multiple_inheritance/C.con
347 cic:/matita/tests/multiple_inheritance/conv_test.con
348 cic:/matita/tests/multiple_inheritance/f.con
349 cic:/matita/tests/multiple_inheritance/K.con
350 cic:/matita/tests/multiple_inheritance/mult.con
351 cic:/matita/tests/multiple_inheritance/mult_idempotent.con
352 cic:/matita/tests/multiple_inheritance/plus.con
353 cic:/matita/tests/multiple_inheritance/plus_idempotent.con
354 cic:/matita/tests/multiple_inheritance/r1.con
355 cic:/matita/tests/multiple_inheritance/R1.ind
356 cic:/matita/tests/multiple_inheritance/R1_ind.con
357 cic:/matita/tests/multiple_inheritance/R1_rec.con
358 cic:/matita/tests/multiple_inheritance/R1_rect.con
359 cic:/matita/tests/multiple_inheritance/r2_.con
360 cic:/matita/tests/multiple_inheritance/r2.con
361 cic:/matita/tests/multiple_inheritance/R2.ind
362 cic:/matita/tests/multiple_inheritance/R2_ind.con
363 cic:/matita/tests/multiple_inheritance/R2_rec.con
364 cic:/matita/tests/multiple_inheritance/R2_rect.con
365 cic:/matita/tests/multiple_inheritance/R.ind
366 cic:/matita/tests/multiple_inheritance/R_ind.con
367 cic:/matita/tests/multiple_inheritance/R_rec.con
368 cic:/matita/tests/multiple_inheritance/R_rect.con
369 cic:/matita/tests/multiple_inheritance/test.con
370 cic:/matita/tests/multiple_inheritance/Type_OF_R.con
371 cic:/matita/tests/multiple_inheritance/with_.con
372 cic:/matita/tests/mysql_escaping/a'.con
373 cic:/matita/tests/naiveparamod/prova1.con
374 cic:/matita/tests/naiveparamod/prova2.con
375 cic:/matita/tests/naiveparamod/TT.ind
376 cic:/matita/tests/naiveparamod/TT_ind.con
377 cic:/matita/tests/naiveparamod/TT_rec.con
378 cic:/matita/tests/naiveparamod/TT_rect.con
379 cic:/matita/tests/overred/c.con
380 cic:/matita/tests/overred/daemon.con
381 cic:/matita/tests/overred/find_a_coercion_from_T2_for_a_term_in_T3.con
382 cic:/matita/tests/overred/T1.con
383 cic:/matita/tests/overred/T2.con
384 cic:/matita/tests/overred/t3.con
385 cic:/matita/tests/overred/T3.con
386 cic:/matita/tests/overred/x.con
387 cic:/matita/tests/overred/X.con
388 cic:/matita/tests/paramodulation/BOO075-1/eq_elim_r.con
389 cic:/matita/tests/paramodulation/BOO075-1/eq_elim_r'.con
390 cic:/matita/tests/paramodulation/BOO075-1/eq_elim_r''.con
391 cic:/matita/tests/paramodulation/BOO075-1/eq_f1.con
392 cic:/matita/tests/paramodulation/BOO075-1/eq_f.con
393 cic:/matita/tests/paramodulation/BOO075-1/eq.ind
394 cic:/matita/tests/paramodulation/BOO075-1/eq_ind.con
395 cic:/matita/tests/paramodulation/BOO075-1/eq_rec.con
396 cic:/matita/tests/paramodulation/BOO075-1/eq_rect.con
397 cic:/matita/tests/paramodulation/BOO075-1/ex.ind
398 cic:/matita/tests/paramodulation/BOO075-1/ex_ind.con
399 cic:/matita/tests/paramodulation/BOO075-1/prove_meredith_2_basis_1.con
400 cic:/matita/tests/paramodulation/BOO075-1/sym_eq.con
401 cic:/matita/tests/paramodulation/BOO075-1/trans_eq.con
402 cic:/matita/tests/paramodulation/boolean_algebra/bool5.con
403 cic:/matita/tests/paramodulation/boolean_algebra/bool_algebra.con
404 cic:/matita/tests/paramodulation/group/GRP049.con
405 cic:/matita/tests/paramodulation/group/GRP049_simple.con
406 cic:/matita/tests/paramodulation/group/self.con
407 cic:/matita/tests/paramodulation/para1.con
408 cic:/matita/tests/paramodulation/para2.con
409 cic:/matita/tests/pullback/L.ind
410 cic:/matita/tests/pullback/L_ind.con
411 cic:/matita/tests/pullback/L_OF_R1.con
412 cic:/matita/tests/pullback/L_rec.con
413 cic:/matita/tests/pullback/L_rect.con
414 cic:/matita/tests/pullback/L_to_T.con
415 cic:/matita/tests/pullback/P1.ind
416 cic:/matita/tests/pullback/P1_ind.con
417 cic:/matita/tests/pullback/P1_rec.con
418 cic:/matita/tests/pullback/P1_rect.con
419 cic:/matita/tests/pullback/P1_to_L.con
420 cic:/matita/tests/pullback/P1_to_P1.con
421 cic:/matita/tests/pullback/P1_to_R1.con
422 cic:/matita/tests/pullback/P2.ind
423 cic:/matita/tests/pullback/P2_ind.con
424 cic:/matita/tests/pullback/P2_OF_P1.con
425 cic:/matita/tests/pullback/P2_rec.con
426 cic:/matita/tests/pullback/P2_rect.con
427 cic:/matita/tests/pullback/P2_to_L.con
428 cic:/matita/tests/pullback/P2_to_R.con
429 cic:/matita/tests/pullback/R1.ind
430 cic:/matita/tests/pullback/R1_ind.con
431 cic:/matita/tests/pullback/R1_rec.con
432 cic:/matita/tests/pullback/R1_rect.con
433 cic:/matita/tests/pullback/R1_to_P2.con
434 cic:/matita/tests/pullback/R1_to_R.con
435 cic:/matita/tests/pullback/R.ind
436 cic:/matita/tests/pullback/R_ind.con
437 cic:/matita/tests/pullback/R_OF_P1.con
438 cic:/matita/tests/pullback/R_rec.con
439 cic:/matita/tests/pullback/R_rect.con
440 cic:/matita/tests/pullback/R_to_T.con
441 cic:/matita/tests/pullback/T.ind
442 cic:/matita/tests/pullback/T_ind.con
443 cic:/matita/tests/pullback/T_OF_P1.con
444 cic:/matita/tests/pullback/T_OF_P2.con
445 cic:/matita/tests/pullback/T_OF_R1.con
446 cic:/matita/tests/pullback/T_rec.con
447 cic:/matita/tests/pullback/T_rect.con
448 cic:/matita/tests/record/a.con
449 cic:/matita/tests/record/b.con
450 cic:/matita/tests/record/c.con
451 cic:/matita/tests/record/d.con
452 cic:/matita/tests/record/e.con
453 cic:/matita/tests/record/empty.ind
454 cic:/matita/tests/record/empty_ind.con
455 cic:/matita/tests/record/empty_rec.con
456 cic:/matita/tests/record/empty_rect.con
457 cic:/matita/tests/record/f.con
458 cic:/matita/tests/record/mario.con
459 cic:/matita/tests/record/paperino.ind
460 cic:/matita/tests/record/paperino_ind.con
461 cic:/matita/tests/record/piero.con
462 cic:/matita/tests/record/pippo.ind
463 cic:/matita/tests/record/pippo_ind.con
464 cic:/matita/tests/record/pippo_rec.con
465 cic:/matita/tests/record/pippo_rect.con
466 cic:/matita/tests/record/pluto.ind
467 cic:/matita/tests/record/pluto_ind.con
468 cic:/matita/tests/record/pluto_rec.con
469 cic:/matita/tests/record/pluto_rect.con
470 cic:/matita/tests/record/t.ind
471 cic:/matita/tests/record/t_ind.con
472 cic:/matita/tests/record/t_rec.con
473 cic:/matita/tests/record/t_rect.con
474 cic:/matita/tests/record/True.ind
475 cic:/matita/tests/record/True_ind.con
476 cic:/matita/tests/record/True_rec.con
477 cic:/matita/tests/record/True_rect.con
478 cic:/matita/tests/replace/t2.con
479 cic:/matita/tests/replace/t.con
480 cic:/matita/tests/rewrite/a.con
481 cic:/matita/tests/rewrite/foo.con
482 cic:/matita/tests/rewrite/t.con
483 cic:/matita/tests/rewrite/test_rewrite_in_hyp2.con
484 cic:/matita/tests/rewrite/test_rewrite_in_hyp.con
485 cic:/matita/tests/rewrite/test_rewrite_under_pi.con
486 cic:/matita/tests/second/ultrastupid.con
487 cic:/matita/tests/simpl/R.con
488 cic:/matita/tests/simpl/t.con
489 cic:/matita/tests/simpl/X.con
490 cic:/matita/tests/tacticals/myand.ind
491 cic:/matita/tests/tacticals/myand_ind.con
492 cic:/matita/tests/tacticals/myand_rec.con
493 cic:/matita/tests/tacticals/myand_rect.con
494 cic:/matita/tests/tacticals/prova2.con
495 cic:/matita/tests/tacticals/prova3.con
496 cic:/matita/tests/tacticals/prova4.con
497 cic:/matita/tests/tacticals/prova6.con
498 cic:/matita/tests/tacticals/prova.con
499 cic:/matita/tests/test2/a.con
500 cic:/matita/tests/test3/a.con
501 cic:/matita/tests/test3/b.con
502 cic:/matita/tests/test4/a.con
503 cic:/matita/tests/third/iperstupid.con
504 cic:/matita/tests/tinycals/prova1.con
505 cic:/matita/tests/tinycals/prova2.con
506 cic:/matita/tests/tinycals/prova.con
507 cic:/matita/tests/TPTP/Veloci/BOO001-1.p/prove_inverse_is_self_cancelling.con
508 cic:/matita/tests/TPTP/Veloci/BOO003-2.p/prove_a_times_a_is_a.con
509 cic:/matita/tests/TPTP/Veloci/BOO003-4.p/prove_a_times_a_is_a.con
510 cic:/matita/tests/TPTP/Veloci/BOO004-2.p/prove_a_plus_a_is_a.con
511 cic:/matita/tests/TPTP/Veloci/BOO004-4.p/prove_a_plus_a_is_a.con
512 cic:/matita/tests/TPTP/Veloci/BOO005-2.p/prove_a_plus_1_is_a.con
513 cic:/matita/tests/TPTP/Veloci/BOO005-4.p/prove_a_plus_1_is_a.con
514 cic:/matita/tests/TPTP/Veloci/BOO006-2.p/prove_right_identity.con
515 cic:/matita/tests/TPTP/Veloci/BOO006-4.p/prove_right_identity.con
516 cic:/matita/tests/TPTP/Veloci/BOO009-2.p/prove_operation.con
517 cic:/matita/tests/TPTP/Veloci/BOO009-4.p/prove_operation.con
518 cic:/matita/tests/TPTP/Veloci/BOO010-2.p/prove_a_plus_ab_is_a.con
519 cic:/matita/tests/TPTP/Veloci/BOO010-4.p/prove_a_plus_ab_is_a.con
520 cic:/matita/tests/TPTP/Veloci/BOO011-2.p/prove_inverse_of_1_is_0.con
521 cic:/matita/tests/TPTP/Veloci/BOO011-4.p/prove_inverse_of_1_is_0.con
522 cic:/matita/tests/TPTP/Veloci/BOO012-2.p/prove_inverse_is_an_involution.con
523 cic:/matita/tests/TPTP/Veloci/BOO012-4.p/prove_inverse_is_an_involution.con
524 cic:/matita/tests/TPTP/Veloci/BOO013-2.p/prove_b_is_a.con
525 cic:/matita/tests/TPTP/Veloci/BOO013-4.p/prove_a_inverse_is_b.con
526 cic:/matita/tests/TPTP/Veloci/BOO016-2.p/prove_sum.con
527 cic:/matita/tests/TPTP/Veloci/BOO017-2.p/prove_sum.con
528 cic:/matita/tests/TPTP/Veloci/BOO018-4.p/prove_inverse_of_1_is_0.con
529 cic:/matita/tests/TPTP/Veloci/BOO034-1.p/prove_single_axiom.con
530 cic:/matita/tests/TPTP/Veloci/BOO069-1.p/prove_tba_axioms_3.con
531 cic:/matita/tests/TPTP/Veloci/BOO071-1.p/prove_tba_axioms_5.con
532 cic:/matita/tests/TPTP/Veloci/BOO075-1.p/prove_meredith_2_basis_1.con
533 cic:/matita/tests/TPTP/Veloci/COL004-3.p/prove_u_combinator.con
534 cic:/matita/tests/TPTP/Veloci/COL007-1.p/prove_fixed_point.con
535 cic:/matita/tests/TPTP/Veloci/COL008-1.p/prove_fixed_point.con
536 cic:/matita/tests/TPTP/Veloci/COL010-1.p/prove_fixed_point.con
537 cic:/matita/tests/TPTP/Veloci/COL012-1.p/prove_fixed_point.con
538 cic:/matita/tests/TPTP/Veloci/COL013-1.p/prove_fixed_point.con
539 cic:/matita/tests/TPTP/Veloci/COL014-1.p/prove_fixed_point.con
540 cic:/matita/tests/TPTP/Veloci/COL015-1.p/prove_fixed_point.con
541 cic:/matita/tests/TPTP/Veloci/COL016-1.p/prove_fixed_point.con
542 cic:/matita/tests/TPTP/Veloci/COL017-1.p/prove_fixed_point.con
543 cic:/matita/tests/TPTP/Veloci/COL018-1.p/prove_fixed_point.con
544 cic:/matita/tests/TPTP/Veloci/COL021-1.p/prove_fixed_point.con
545 cic:/matita/tests/TPTP/Veloci/COL022-1.p/prove_fixed_point.con
546 cic:/matita/tests/TPTP/Veloci/COL024-1.p/prove_fixed_point.con
547 cic:/matita/tests/TPTP/Veloci/COL025-1.p/prove_fixed_point.con
548 cic:/matita/tests/TPTP/Veloci/COL045-1.p/prove_fixed_point.con
549 cic:/matita/tests/TPTP/Veloci/COL048-1.p/prove_fixed_point.con
550 cic:/matita/tests/TPTP/Veloci/COL050-1.p/prove_all_fond_of_another.con
551 cic:/matita/tests/TPTP/Veloci/COL058-2.p/prove_the_bird_exists.con
552 cic:/matita/tests/TPTP/Veloci/COL058-3.p/prove_the_bird_exists.con
553 cic:/matita/tests/TPTP/Veloci/COL060-2.p/prove_q_combinator.con
554 cic:/matita/tests/TPTP/Veloci/COL060-3.p/prove_q_combinator.con
555 cic:/matita/tests/TPTP/Veloci/COL061-2.p/prove_q1_combinator.con
556 cic:/matita/tests/TPTP/Veloci/COL061-3.p/prove_q1_combinator.con
557 cic:/matita/tests/TPTP/Veloci/COL062-2.p/prove_c_combinator.con
558 cic:/matita/tests/TPTP/Veloci/COL062-3.p/prove_c_combinator.con
559 cic:/matita/tests/TPTP/Veloci/COL063-2.p/prove_f_combinator.con
560 cic:/matita/tests/TPTP/Veloci/COL063-3.p/prove_f_combinator.con
561 cic:/matita/tests/TPTP/Veloci/COL063-4.p/prove_f_combinator.con
562 cic:/matita/tests/TPTP/Veloci/COL063-5.p/prove_f_combinator.con
563 cic:/matita/tests/TPTP/Veloci/COL063-6.p/prove_f_combinator.con
564 cic:/matita/tests/TPTP/Veloci/COL064-2.p/prove_v_combinator.con
565 cic:/matita/tests/TPTP/Veloci/COL064-3.p/prove_v_combinator.con
566 cic:/matita/tests/TPTP/Veloci/COL064-4.p/prove_v_combinator.con
567 cic:/matita/tests/TPTP/Veloci/COL064-5.p/prove_v_combinator.con
568 cic:/matita/tests/TPTP/Veloci/COL064-6.p/prove_v_combinator.con
569 cic:/matita/tests/TPTP/Veloci/COL064-7.p/prove_v_combinator.con
570 cic:/matita/tests/TPTP/Veloci/COL064-8.p/prove_v_combinator.con
571 cic:/matita/tests/TPTP/Veloci/COL064-9.p/prove_v_combinator.con
572 cic:/matita/tests/TPTP/Veloci/GRP001-2.p/prove_b_times_a_is_c.con
573 cic:/matita/tests/TPTP/Veloci/GRP001-4.p/prove_b_times_a_is_c.con
574 cic:/matita/tests/TPTP/Veloci/GRP010-4.p/prove_b_times_c_is_e.con
575 cic:/matita/tests/TPTP/Veloci/GRP011-4.p/prove_left_cancellation.con
576 cic:/matita/tests/TPTP/Veloci/GRP012-4.p/prove_inverse_of_product_is_product_of_inverses.con
577 cic:/matita/tests/TPTP/Veloci/GRP022-2.p/prove_inverse_of_inverse_is_original.con
578 cic:/matita/tests/TPTP/Veloci/GRP023-2.p/prove_inverse_of_id_is_id.con
579 cic:/matita/tests/TPTP/Veloci/GRP115-1.p/prove_order3.con
580 cic:/matita/tests/TPTP/Veloci/GRP116-1.p/prove_order3.con
581 cic:/matita/tests/TPTP/Veloci/GRP117-1.p/prove_order3.con
582 cic:/matita/tests/TPTP/Veloci/GRP118-1.p/prove_order3.con
583 cic:/matita/tests/TPTP/Veloci/GRP136-1.p/prove_ax_antisyma.con
584 cic:/matita/tests/TPTP/Veloci/GRP137-1.p/prove_ax_antisymb.con
585 cic:/matita/tests/TPTP/Veloci/GRP139-1.p/prove_ax_glb1b.con
586 cic:/matita/tests/TPTP/Veloci/GRP141-1.p/prove_ax_glb1d.con
587 cic:/matita/tests/TPTP/Veloci/GRP142-1.p/prove_ax_glb2a.con
588 cic:/matita/tests/TPTP/Veloci/GRP143-1.p/prove_ax_glb2b.con
589 cic:/matita/tests/TPTP/Veloci/GRP144-1.p/prove_ax_glb3a.con
590 cic:/matita/tests/TPTP/Veloci/GRP145-1.p/prove_ax_glb3b.con
591 cic:/matita/tests/TPTP/Veloci/GRP146-1.p/prove_ax_lub1a.con
592 cic:/matita/tests/TPTP/Veloci/GRP149-1.p/prove_ax_lub1d.con
593 cic:/matita/tests/TPTP/Veloci/GRP150-1.p/prove_ax_lub2a.con
594 cic:/matita/tests/TPTP/Veloci/GRP151-1.p/prove_ax_lub2b.con
595 cic:/matita/tests/TPTP/Veloci/GRP152-1.p/prove_ax_lub3a.con
596 cic:/matita/tests/TPTP/Veloci/GRP153-1.p/prove_ax_lub3b.con
597 cic:/matita/tests/TPTP/Veloci/GRP154-1.p/prove_ax_mono1a.con
598 cic:/matita/tests/TPTP/Veloci/GRP155-1.p/prove_ax_mono1b.con
599 cic:/matita/tests/TPTP/Veloci/GRP156-1.p/prove_ax_mono1c.con
600 cic:/matita/tests/TPTP/Veloci/GRP157-1.p/prove_ax_mono2a.con
601 cic:/matita/tests/TPTP/Veloci/GRP158-1.p/prove_ax_mono2b.con
602 cic:/matita/tests/TPTP/Veloci/GRP159-1.p/prove_ax_mono2c.con
603 cic:/matita/tests/TPTP/Veloci/GRP160-1.p/prove_ax_refla.con
604 cic:/matita/tests/TPTP/Veloci/GRP161-1.p/prove_ax_reflb.con
605 cic:/matita/tests/TPTP/Veloci/GRP162-1.p/prove_ax_transa.con
606 cic:/matita/tests/TPTP/Veloci/GRP163-1.p/prove_ax_transb.con
607 cic:/matita/tests/TPTP/Veloci/GRP168-1.p/prove_p01a.con
608 cic:/matita/tests/TPTP/Veloci/GRP168-2.p/prove_p01b.con
609 cic:/matita/tests/TPTP/Veloci/GRP173-1.p/prove_p05a.con
610 cic:/matita/tests/TPTP/Veloci/GRP174-1.p/prove_p05b.con
611 cic:/matita/tests/TPTP/Veloci/GRP176-1.p/prove_p07.con
612 cic:/matita/tests/TPTP/Veloci/GRP176-2.p/prove_p07.con
613 cic:/matita/tests/TPTP/Veloci/GRP182-1.p/prove_p17a.con
614 cic:/matita/tests/TPTP/Veloci/GRP182-2.p/prove_p17a.con
615 cic:/matita/tests/TPTP/Veloci/GRP182-3.p/prove_p17b.con
616 cic:/matita/tests/TPTP/Veloci/GRP182-4.p/prove_p17b.con
617 cic:/matita/tests/TPTP/Veloci/GRP186-3.p/prove_p23x.con
618 cic:/matita/tests/TPTP/Veloci/GRP186-4.p/prove_p23x.con
619 cic:/matita/tests/TPTP/Veloci/GRP188-1.p/prove_p38a.con
620 cic:/matita/tests/TPTP/Veloci/GRP188-2.p/prove_p38a.con
621 cic:/matita/tests/TPTP/Veloci/GRP189-1.p/prove_p38b.con
622 cic:/matita/tests/TPTP/Veloci/GRP189-2.p/prove_p38b.con
623 cic:/matita/tests/TPTP/Veloci/GRP192-1.p/prove_p40a.con
624 cic:/matita/tests/TPTP/Veloci/GRP206-1.p/prove_moufang1.con
625 cic:/matita/tests/TPTP/Veloci/GRP454-1.p/prove_these_axioms_1.con
626 cic:/matita/tests/TPTP/Veloci/GRP455-1.p/prove_these_axioms_2.con
627 cic:/matita/tests/TPTP/Veloci/GRP456-1.p/prove_these_axioms_3.con
628 cic:/matita/tests/TPTP/Veloci/GRP457-1.p/prove_these_axioms_1.con
629 cic:/matita/tests/TPTP/Veloci/GRP458-1.p/prove_these_axioms_2.con
630 cic:/matita/tests/TPTP/Veloci/GRP459-1.p/prove_these_axioms_3.con
631 cic:/matita/tests/TPTP/Veloci/GRP460-1.p/prove_these_axioms_1.con
632 cic:/matita/tests/TPTP/Veloci/GRP463-1.p/prove_these_axioms_1.con
633 cic:/matita/tests/TPTP/Veloci/GRP467-1.p/prove_these_axioms_2.con
634 cic:/matita/tests/TPTP/Veloci/GRP481-1.p/prove_these_axioms_1.con
635 cic:/matita/tests/TPTP/Veloci/GRP484-1.p/prove_these_axioms_1.con
636 cic:/matita/tests/TPTP/Veloci/GRP485-1.p/prove_these_axioms_2.con
637 cic:/matita/tests/TPTP/Veloci/GRP486-1.p/prove_these_axioms_3.con
638 cic:/matita/tests/TPTP/Veloci/GRP487-1.p/prove_these_axioms_1.con
639 cic:/matita/tests/TPTP/Veloci/GRP488-1.p/prove_these_axioms_2.con
640 cic:/matita/tests/TPTP/Veloci/GRP490-1.p/prove_these_axioms_1.con
641 cic:/matita/tests/TPTP/Veloci/GRP491-1.p/prove_these_axioms_2.con
642 cic:/matita/tests/TPTP/Veloci/GRP492-1.p/prove_these_axioms_3.con
643 cic:/matita/tests/TPTP/Veloci/GRP493-1.p/prove_these_axioms_1.con
644 cic:/matita/tests/TPTP/Veloci/GRP494-1.p/prove_these_axioms_2.con
645 cic:/matita/tests/TPTP/Veloci/GRP495-1.p/prove_these_axioms_3.con
646 cic:/matita/tests/TPTP/Veloci/GRP496-1.p/prove_these_axioms_1.con
647 cic:/matita/tests/TPTP/Veloci/GRP497-1.p/prove_these_axioms_2.con
648 cic:/matita/tests/TPTP/Veloci/GRP498-1.p/prove_these_axioms_3.con
649 cic:/matita/tests/TPTP/Veloci/GRP509-1.p/prove_these_axioms_1.con
650 cic:/matita/tests/TPTP/Veloci/GRP510-1.p/prove_these_axioms_2.con
651 cic:/matita/tests/TPTP/Veloci/GRP511-1.p/prove_these_axioms_3.con
652 cic:/matita/tests/TPTP/Veloci/GRP512-1.p/prove_these_axioms_4.con
653 cic:/matita/tests/TPTP/Veloci/GRP513-1.p/prove_these_axioms_1.con
654 cic:/matita/tests/TPTP/Veloci/GRP514-1.p/prove_these_axioms_2.con
655 cic:/matita/tests/TPTP/Veloci/GRP515-1.p/prove_these_axioms_3.con
656 cic:/matita/tests/TPTP/Veloci/GRP516-1.p/prove_these_axioms_4.con
657 cic:/matita/tests/TPTP/Veloci/GRP517-1.p/prove_these_axioms_1.con
658 cic:/matita/tests/TPTP/Veloci/GRP518-1.p/prove_these_axioms_2.con
659 cic:/matita/tests/TPTP/Veloci/GRP520-1.p/prove_these_axioms_4.con
660 cic:/matita/tests/TPTP/Veloci/GRP541-1.p/prove_these_axioms_1.con
661 cic:/matita/tests/TPTP/Veloci/GRP542-1.p/prove_these_axioms_2.con
662 cic:/matita/tests/TPTP/Veloci/GRP543-1.p/prove_these_axioms_3.con
663 cic:/matita/tests/TPTP/Veloci/GRP544-1.p/prove_these_axioms_4.con
664 cic:/matita/tests/TPTP/Veloci/GRP545-1.p/prove_these_axioms_1.con
665 cic:/matita/tests/TPTP/Veloci/GRP546-1.p/prove_these_axioms_2.con
666 cic:/matita/tests/TPTP/Veloci/GRP547-1.p/prove_these_axioms_3.con
667 cic:/matita/tests/TPTP/Veloci/GRP548-1.p/prove_these_axioms_4.con
668 cic:/matita/tests/TPTP/Veloci/GRP549-1.p/prove_these_axioms_1.con
669 cic:/matita/tests/TPTP/Veloci/GRP550-1.p/prove_these_axioms_2.con
670 cic:/matita/tests/TPTP/Veloci/GRP551-1.p/prove_these_axioms_3.con
671 cic:/matita/tests/TPTP/Veloci/GRP552-1.p/prove_these_axioms_4.con
672 cic:/matita/tests/TPTP/Veloci/GRP556-1.p/prove_these_axioms_4.con
673 cic:/matita/tests/TPTP/Veloci/GRP558-1.p/prove_these_axioms_2.con
674 cic:/matita/tests/TPTP/Veloci/GRP560-1.p/prove_these_axioms_4.con
675 cic:/matita/tests/TPTP/Veloci/GRP561-1.p/prove_these_axioms_1.con
676 cic:/matita/tests/TPTP/Veloci/GRP562-1.p/prove_these_axioms_2.con
677 cic:/matita/tests/TPTP/Veloci/GRP564-1.p/prove_these_axioms_4.con
678 cic:/matita/tests/TPTP/Veloci/GRP565-1.p/prove_these_axioms_1.con
679 cic:/matita/tests/TPTP/Veloci/GRP566-1.p/prove_these_axioms_2.con
680 cic:/matita/tests/TPTP/Veloci/GRP567-1.p/prove_these_axioms_3.con
681 cic:/matita/tests/TPTP/Veloci/GRP568-1.p/prove_these_axioms_4.con
682 cic:/matita/tests/TPTP/Veloci/GRP569-1.p/prove_these_axioms_1.con
683 cic:/matita/tests/TPTP/Veloci/GRP570-1.p/prove_these_axioms_2.con
684 cic:/matita/tests/TPTP/Veloci/GRP572-1.p/prove_these_axioms_4.con
685 cic:/matita/tests/TPTP/Veloci/GRP573-1.p/prove_these_axioms_1.con
686 cic:/matita/tests/TPTP/Veloci/GRP574-1.p/prove_these_axioms_2.con
687 cic:/matita/tests/TPTP/Veloci/GRP576-1.p/prove_these_axioms_4.con
688 cic:/matita/tests/TPTP/Veloci/GRP577-1.p/prove_these_axioms_1.con
689 cic:/matita/tests/TPTP/Veloci/GRP578-1.p/prove_these_axioms_2.con
690 cic:/matita/tests/TPTP/Veloci/GRP580-1.p/prove_these_axioms_4.con
691 cic:/matita/tests/TPTP/Veloci/GRP581-1.p/prove_these_axioms_1.con
692 cic:/matita/tests/TPTP/Veloci/GRP582-1.p/prove_these_axioms_2.con
693 cic:/matita/tests/TPTP/Veloci/GRP583-1.p/prove_these_axioms_3.con
694 cic:/matita/tests/TPTP/Veloci/GRP584-1.p/prove_these_axioms_4.con
695 cic:/matita/tests/TPTP/Veloci/GRP586-1.p/prove_these_axioms_2.con
696 cic:/matita/tests/TPTP/Veloci/GRP588-1.p/prove_these_axioms_4.con
697 cic:/matita/tests/TPTP/Veloci/GRP590-1.p/prove_these_axioms_2.con
698 cic:/matita/tests/TPTP/Veloci/GRP592-1.p/prove_these_axioms_4.con
699 cic:/matita/tests/TPTP/Veloci/GRP595-1.p/prove_these_axioms_3.con
700 cic:/matita/tests/TPTP/Veloci/GRP596-1.p/prove_these_axioms_4.con
701 cic:/matita/tests/TPTP/Veloci/GRP597-1.p/prove_these_axioms_1.con
702 cic:/matita/tests/TPTP/Veloci/GRP598-1.p/prove_these_axioms_2.con
703 cic:/matita/tests/TPTP/Veloci/GRP599-1.p/prove_these_axioms_3.con
704 cic:/matita/tests/TPTP/Veloci/GRP600-1.p/prove_these_axioms_4.con
705 cic:/matita/tests/TPTP/Veloci/GRP602-1.p/prove_these_axioms_2.con
706 cic:/matita/tests/TPTP/Veloci/GRP603-1.p/prove_these_axioms_3.con
707 cic:/matita/tests/TPTP/Veloci/GRP604-1.p/prove_these_axioms_4.con
708 cic:/matita/tests/TPTP/Veloci/GRP605-1.p/prove_these_axioms_1.con
709 cic:/matita/tests/TPTP/Veloci/GRP606-1.p/prove_these_axioms_2.con
710 cic:/matita/tests/TPTP/Veloci/GRP608-1.p/prove_these_axioms_4.con
711 cic:/matita/tests/TPTP/Veloci/GRP612-1.p/prove_these_axioms_4.con
712 cic:/matita/tests/TPTP/Veloci/GRP613-1.p/prove_these_axioms_1.con
713 cic:/matita/tests/TPTP/Veloci/GRP614-1.p/prove_these_axioms_2.con
714 cic:/matita/tests/TPTP/Veloci/GRP615-1.p/prove_these_axioms_3.con
715 cic:/matita/tests/TPTP/Veloci/GRP616-1.p/prove_these_axioms_4.con
716 cic:/matita/tests/TPTP/Veloci/LAT008-1.p/prove_absorbtion_dual.con
717 cic:/matita/tests/TPTP/Veloci/LAT033-1.p/idempotence_of_join.con
718 cic:/matita/tests/TPTP/Veloci/LAT034-1.p/idempotence_of_meet.con
719 cic:/matita/tests/TPTP/Veloci/LAT039-1.p/rhs.con
720 cic:/matita/tests/TPTP/Veloci/LAT039-2.p/rhs.con
721 cic:/matita/tests/TPTP/Veloci/LAT040-1.p/rhs.con
722 cic:/matita/tests/TPTP/Veloci/LAT045-1.p/prove_orthomodular_law.con
723 cic:/matita/tests/TPTP/Veloci/LCL110-2.p/prove_mv_24.con
724 cic:/matita/tests/TPTP/Veloci/LCL112-2.p/prove_mv_29.con
725 cic:/matita/tests/TPTP/Veloci/LCL113-2.p/prove_mv_33.con
726 cic:/matita/tests/TPTP/Veloci/LCL114-2.p/prove_mv_36.con
727 cic:/matita/tests/TPTP/Veloci/LCL115-2.p/prove_mv_39.con
728 cic:/matita/tests/TPTP/Veloci/LCL132-1.p/prove_wajsberg_lemma.con
729 cic:/matita/tests/TPTP/Veloci/LCL133-1.p/prove_wajsberg_lemma.con
730 cic:/matita/tests/TPTP/Veloci/LCL134-1.p/prove_wajsberg_lemma.con
731 cic:/matita/tests/TPTP/Veloci/LCL135-1.p/prove_wajsberg_lemma.con
732 cic:/matita/tests/TPTP/Veloci/LCL139-1.p/prove_wajsberg_lemma.con
733 cic:/matita/tests/TPTP/Veloci/LCL140-1.p/prove_wajsberg_lemma.con
734 cic:/matita/tests/TPTP/Veloci/LCL141-1.p/prove_wajsberg_lemma.con
735 cic:/matita/tests/TPTP/Veloci/LCL153-1.p/prove_alternative_wajsberg_axiom.con
736 cic:/matita/tests/TPTP/Veloci/LCL154-1.p/prove_alternative_wajsberg_axiom.con
737 cic:/matita/tests/TPTP/Veloci/LCL155-1.p/prove_alternative_wajsberg_axiom.con
738 cic:/matita/tests/TPTP/Veloci/LCL156-1.p/prove_alternative_wajsberg_axiom.con
739 cic:/matita/tests/TPTP/Veloci/LCL157-1.p/prove_alternative_wajsberg_axiom.con
740 cic:/matita/tests/TPTP/Veloci/LCL158-1.p/prove_alternative_wajsberg_axiom.con
741 cic:/matita/tests/TPTP/Veloci/LCL161-1.p/prove_wajsberg_axiom.con
742 cic:/matita/tests/TPTP/Veloci/LCL164-1.p/prove_wajsberg_axiom.con
743 cic:/matita/tests/TPTP/Veloci/LDA001-1.p/prove_equation.con
744 cic:/matita/tests/TPTP/Veloci/LDA007-3.p/prove_equation.con
745 cic:/matita/tests/TPTP/Veloci/RNG007-4.p/prove_inverse.con
746 cic:/matita/tests/TPTP/Veloci/RNG008-4.p/prove_commutativity.con
747 cic:/matita/tests/TPTP/Veloci/RNG011-5.p/prove_equality.con
748 cic:/matita/tests/TPTP/Veloci/RNG023-6.p/prove_left_alternative.con
749 cic:/matita/tests/TPTP/Veloci/RNG023-7.p/prove_left_alternative.con
750 cic:/matita/tests/TPTP/Veloci/RNG024-6.p/prove_right_alternative.con
751 cic:/matita/tests/TPTP/Veloci/RNG024-7.p/prove_right_alternative.con
752 cic:/matita/tests/TPTP/Veloci/ROB002-1.p/prove_huntingtons_axiom.con
753 cic:/matita/tests/TPTP/Veloci/ROB009-1.p/prove_result.con
754 cic:/matita/tests/TPTP/Veloci/ROB010-1.p/prove_result.con
755 cic:/matita/tests/TPTP/Veloci/ROB013-1.p/prove_result.con
756 cic:/matita/tests/TPTP/Veloci/ROB030-1.p/prove_absorption_within_negation.con
757 cic:/matita/tests/TPTP/Veloci/SYN083-1.p/prove_this.con
758 cic:/matita/tests/unfold/lem.con
759 cic:/matita/tests/unfold/myplus.con
760 cic:/matita/tests/unfold/t.con
761 cic:/matita/tests/unfold/trivial.con
projects / helm.git / blob