-cic:/matita/infsup/increasing.con
-cic:/matita/infsup/strong_sup.con
-cic:/matita/infsup/strong_sup_is_weak.con
-cic:/matita/infsup/upper_bound.con
-cic:/matita/infsup/weak_sup.con
-cic:/matita/LAMBDA-TYPES/Base-1/blt/defs/blt.con
-cic:/matita/LAMBDA-TYPES/Base-1/blt/props/bge_le.con
-cic:/matita/LAMBDA-TYPES/Base-1/blt/props/blt_lt.con
-cic:/matita/LAMBDA-TYPES/Base-1/blt/props/le_bge.con
-cic:/matita/LAMBDA-TYPES/Base-1/blt/props/lt_blt.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/arith0.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/eq_nat_dec.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_false.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_gen_S.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_lt_false.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_minus_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_minus_plus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_n_pred.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_plus_minus_sym.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_S_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_Sx_x.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_trans_plus_r.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/le_x_pred_y.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_eq_e.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_eq_gt_e.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_gen_xS.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_le_e.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_le_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_neq.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_plus_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_plus_minus_r.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_x_O.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_x_plus_x_Sy.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/lt_x_pred_y.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_le.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_plus_r.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_Sx_SO.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_Sx_Sy.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_x_SO.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_x_Sy.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/nat_dec.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/neq_eq_e.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/O_minus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/plus_O.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/plus_permute_2_in_3_assoc.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/plus_permute_2_in_3.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/plus_plus.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/simpl_lt_plus_r.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/simpl_plus_r.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/tactics/insert_eq.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/tactics/unintro.con
-cic:/matita/LAMBDA-TYPES/Base-1/ext/tactics/xinduction.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/papp.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/PConsTail.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/PList.ind
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/PList_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/PList_rec.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/PList_rect.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/defs/Ss.con
-cic:/matita/LAMBDA-TYPES/Base-1/plist/props/papp_ss.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and3_rec.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and3_rect.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and4.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and4_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and4_rec.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and4_rect.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and5.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and5_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and5_rec.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/and5_rect.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex2_2.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex2_2_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex2_3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex2_3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex_2.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex_2_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_2.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_2_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_4.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_4_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex_3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex_3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_2.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_2_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_4.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_4_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_5.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_5_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex4_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex5_3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex5_3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex5_5.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex5_5_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex6_6.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex6_6_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex6_7.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/ex6_7_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/or3.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/or3_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/or4.ind
-cic:/matita/LAMBDA-TYPES/Base-1/types/defs/or4_ind.con
-cic:/matita/LAMBDA-TYPES/Base-1/types/props/ex2_sym.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/A/defs/A.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/A/defs/A_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/A/defs/A_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/A/defs/A_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/defs/aplus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_ahead_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_asort_le_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_asort_O_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_asort_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_assoc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_asucc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_asucc_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_inj.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_reg_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_sort_O_S_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props/aplus_sort_S_S_simpl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/app/defs/app1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/app/defs/cbk.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/defs/aprem.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/defs/aprem_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd/aprem_gen_head_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd/aprem_gen_head_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd/aprem_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/props/aprem_asucc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/props/aprem_repl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/aprem/arity_aprem.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/cimp/arity_cimp_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/defs/arity.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/defs/arity_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_appls.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd/arity_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/lift1/arity_lift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/pr3/arity_sred_pr2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/pr3/arity_sred_pr3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/pr3/arity_sred_wcpr0_pr0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/pr3/arity_sred_wcpr0_pr1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_appls_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_appls_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_appls_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_mono.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/arity_repellent.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props/node_inh.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0/arity_fsubst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0/arity_gen_cvoid.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0/arity_gen_cvoid_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0/arity_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/asucc/defs/asucc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/asucc/fwd/asucc_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/asucc/fwd/asucc_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/C.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/C_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/cle.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/clt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/C_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/C_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/CTail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs/cweight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/defs/cimp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/props/cimp_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/props/cimp_flat_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/props/cimp_flat_sx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/props/cimp_getl_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/defs/clear.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/defs/clear_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/drop/drop_clear.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/drop/drop_clear_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/drop/drop_clear_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd/clear_gen_all.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd/clear_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd/clear_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd/clear_gen_flat_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd/clear_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props/clear_clear.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props/clear_cle.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props/clear_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props/clear_mono.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props/clear_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clen/defs/clen.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clen/getl/getl_ctail_clen.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clen/getl/getl_gen_tail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cnt/defs/cnt.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cnt/defs/cnt_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cnt/props/cnt_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/chead_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/clt_cong.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/clt_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/clt_thead.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/clt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/clt_wf__q_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props/c_tail_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/arity/arity_appls_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/arity/csuba_arity.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/arity/csuba_arity_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/clear/csuba_clear_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/clear/csuba_clear_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/defs/csuba.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/defs/csuba_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/drop/csuba_drop_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/drop/csuba_drop_abbr_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/drop/csuba_drop_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/drop/csuba_drop_abst_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_abbr_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_abst_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_bind_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_flat_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_void.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd/csuba_gen_void_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/getl/csuba_getl_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/getl/csuba_getl_abbr_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/getl/csuba_getl_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/getl/csuba_getl_abst_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/props/csuba_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/arity/csubc_arity_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/arity/csubc_arity_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/clear/csubc_clear_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/csuba/csubc_csuba.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/defs/csubc.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/defs/csubc_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop1/csubc_drop1_conf_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop1/drop1_csubc_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop/csubc_drop_conf_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop/csubc_drop_conf_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop/drop_csubc_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/fwd/csubc_gen_head_l.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/fwd/csubc_gen_head_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/fwd/csubc_gen_sort_l.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/fwd/csubc_gen_sort_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/getl/csubc_getl_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/props/csubc_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear/csubst0_clear_O_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear/csubst0_clear_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear/csubst0_clear_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/defs/csubst0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/defs/csubst0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop/csubst0_drop_eq_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop/csubst0_drop_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop/csubst0_drop_gt_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop/csubst0_drop_gt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop/csubst0_drop_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/fwd/csubst0_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/fwd/csubst0_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/getl/csubst0_getl_ge_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/getl/csubst0_getl_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/getl/csubst0_getl_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/props/csubst0_both_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/props/csubst0_fst_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/props/csubst0_snd_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/defs/csubst1.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/defs/csubst1_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/fwd/csubst1_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl/csubst1_getl_ge_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl/csubst1_getl_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl/csubst1_getl_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl/getl_csubst1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/props/csubst1_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/props/csubst1_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/props/csubst1_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/clear/csubt_clear_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/defs/csubt.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/defs/csubt_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/drop/csubt_drop_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/drop/csubt_drop_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/drop/csubt_drop_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd/csubt_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd/csubt_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd/csubt_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd/csubt_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/getl/csubt_getl_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/getl/csubt_getl_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/pc3/csubt_pc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/pc3/csubt_pr2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/props/csubt_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/ty3/csubt_ty3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/ty3/csubt_ty3_ld.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/defs/drop1.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/defs/drop1_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/defs/ptrans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/fwd/drop1_gen_pcons.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/fwd/drop1_gen_pnil.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/getl/drop1_getl_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/props/drop1_cons_tail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/props/drop1_skip_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/props/drop1_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/defs/drop.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/defs/drop_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd/drop_gen_drop.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd/drop_gen_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd/drop_gen_skip_l.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd/drop_gen_skip_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd/drop_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_conf_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_conf_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_conf_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_mono.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_skip_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_skip_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_trans_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props/drop_trans_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/defs/gz.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/defs/leqz.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/defs/leqz_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/props/aplus_gz_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/props/aplus_gz_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/props/leq_leqz.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/props/leqz_leq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex0/props/next_plus_gz.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/defs/ex1_c.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/defs/ex1_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/props/ex1_arity.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/props/ex1__leq_sort_SS.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/props/ex1_ty3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex2/defs/ex2_c.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex2/defs/ex2_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex2/props/ex2_arity.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex2/props/ex2_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/defs/flt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/defs/fweight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_arith0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_arith1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_arith2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_shift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_thead_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_thead_sx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props/flt_wf__q_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/fsubst0/defs/fsubst0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/fsubst0/defs/fsubst0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/fsubst0/fwd/fsubst0_gen_base.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/G.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/G_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/G_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/G_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/next.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs/next_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/clear/clear_getl_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/clear/getl_clear_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/clear/getl_clear_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/clear/getl_clear_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/dec/getl_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/defs/getl.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/defs/getl_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/drop_getl_trans_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/drop_getl_trans_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/drop_getl_trans_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_conf_ge_drop.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_drop.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_drop_conf_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_drop_conf_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_drop_conf_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop/getl_drop_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/flt/getl_flt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_all.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd/getl_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/getl/getl_conf_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/getl/getl_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props/getl_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props/getl_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props/getl_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props/getl_mono.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props/getl_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/defs/iso.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/defs/iso_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd/iso_flats_flat_bind_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd/iso_flats_lref_bind_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd/iso_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd/iso_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd/iso_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/props/iso_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/props/iso_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc/asucc_inj.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc/asucc_repl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc/leq_ahead_asucc_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc/leq_asucc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc/leq_asucc_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/defs/leq.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/defs/leq_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/fwd/leq_gen_head1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/fwd/leq_gen_head2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/fwd/leq_gen_sort1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/fwd/leq_gen_sort2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/ahead_inj_snd.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_ahead_false_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_ahead_false_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_sym.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props/leq_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/defs/lift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/defs/lifts1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/defs/trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lift1_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lift1_cons_tail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lift1_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lift1_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lift1_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lifts1_cons.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lifts1_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd/lifts1_nil.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/props/lift1_free.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/props/lift1_lift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/props/lift1_xhg.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/props/lifts1_xhg.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/defs/lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/defs/lifts.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/defs/lref_map.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_lref_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_lref_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_lref_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_lref_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_lref_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd/lift_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_d.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_free.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_inj.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_lref_gt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lift_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/lifts_tapp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props/thead_x_lift_y_y.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt/lift_tlt_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt/lift_weight_add.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt/lift_weight_add_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt/lift_weight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt/lift_weight_map.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/defs/llt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/defs/lweight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_head_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_head_sx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_repl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/llt_wf__q_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props/lweight_repl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/defs/next_plus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/props/next_plus_assoc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/props/next_plus_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/props/next_plus_next.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/arity/arity_nf2_inv_all.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/dec/nf2_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/defs/nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/defs/nfs2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen__nf2_gen_aux.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd/nf2_gen_void.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/iso/nf2_iso_appls_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/lift1/nf2_lift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/pr3/nf2_pr3_confluence.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/pr3/nf2_pr3_unfold.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_abst_shift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_appl_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_appls_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_csort_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_lref_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props/nf2_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/defs/pc1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_head_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_head_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_pr0_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_pr0_u2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_pr0_u.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_pr0_x.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_s.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props/pc1_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/dec/pc3_abst_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/dec/pc3_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/defs/pc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/defs/pc3_left.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/defs/pc3_left_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fsubst0/pc3_fsubst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fsubst0/pc3_pr2_fsubst0_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fsubst0/pc3_pr2_fsubst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_abst_shift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_lift_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_not_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_sort_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd/pc3_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left__pc3_left_pc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left__pc3_left_pr3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left__pc3_left_sym.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left__pc3_left_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left/pc3_ind_left__pc3_pc3_left.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/nf2/pc3_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/pc1/pc3_pc1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/clear_pc3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_eta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_head_12.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_head_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_head_21.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_head_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr0_pr2_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_pr2_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_pr3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_u2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_u.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr2_x.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr3_pc3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr3_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_pr3_x.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_s.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props/pc3_thin_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/subst1/pc3_gen_cabbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/wcpr0/pc3_wcpr0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/wcpr0/pc3_wcpr0__pc3_wcpr0_t_aux.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/wcpr0/pc3_wcpr0_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/dec/nf0_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/defs/pr0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/defs/pr0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd/pr0_gen_void.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_cong_delta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_cong_upsilon_cong.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_cong_upsilon_delta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_cong_upsilon_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_cong_upsilon_zeta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_delta_delta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_delta_tau.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0/pr0_confluence__pr0_upsilon_upsilon.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/props/pr0_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/props/pr0_subst0_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/props/pr0_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/props/pr0_subst0_fwd.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1/pr0_delta1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1/pr0_subst1_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1/pr0_subst1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1/pr0_subst1_fwd.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/defs/pr1.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/defs/pr1_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/pr1/pr1_confluence.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/pr1/pr1_strip.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_comp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_eta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_head_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_head_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_pr0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props/pr1_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/clen/pr2_gen_cbind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/clen/pr2_gen_cflat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/clen/pr2_gen_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/defs/pr2.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/defs/pr2_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_csort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd/pr2_gen_void.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2/pr2_confluence.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2/pr2_confluence__pr2_delta_delta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2/pr2_confluence__pr2_free_delta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2/pr2_confluence__pr2_free_free.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/clear_pr2_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_cflat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_change.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_ctail.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_head_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_head_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props/pr2_thin_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/subst1/pr2_delta1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/subst1/pr2_gen_cabbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/subst1/pr2_subst1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/defs/pr3.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/defs/pr3_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd/pr3_gen_void.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appl_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appls_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appls_appl_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appls_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appls_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_appls_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso/pr3_iso_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/pr1/pr3_pr1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/pr3/pr3_confluence.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/pr3/pr3_strip.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/clear_pr3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_cflat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_eta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_head_12.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_head_1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_head_21.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_head_2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_pr0_pr2_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_pr2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_pr2_pr2_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_pr2_pr3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_pr3_pr3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props/pr3_thin_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/subst1/pr3_gen_cabbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/subst1/pr3_subst1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/wcpr0/pr3_wcpr0_t.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/defs/r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_arith0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_arith1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_dis.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_minus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_plus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_plus_sym.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/r_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props/s_r.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/arity/sc3_arity.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/arity/sc3_arity_csubc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/defs/sc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_arity_gen.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_lift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_props__sc3_sn3_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_repl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props/sc3_sn3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/defs/s.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/defs/sn3.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/defs/sn3_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/defs/sns3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd/sn3_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd/sn3_gen_cflat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd/sn3_gen_flat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd/sn3_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd/sn3_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/lift1/sns3_lifts1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/nf2/nf2_sn3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/nf2/sn3_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_appls.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appl_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appls_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appls_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appls_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appls_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_appls_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_beta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_cdelta.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_cflat.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_change.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_cpr3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_gen_def.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_pr2_intro.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_pr3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sn3_shift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props/sns3_lifts.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/lifts_inj.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/nfs2_tapp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/pc3_gen_appls_lref_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/pc3_gen_appls_lref_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/pc3_gen_appls_sort_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/pc3_nf2_unfold.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/pc3_pr3_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/ty3_gen_appl_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/ty3_inv_appls_lref_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/ty3_inv_lref_lref_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/ty3_inv_lref_nf2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/ty3_inv_lref_nf2_pc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/tys3_gen_cons.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/tys3_gen_nil.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/tys3.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare/tys3_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/minus_s_s.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_arith0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_arith1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_inc.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_inj.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_minus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_plus.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_plus_sym.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props/s_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/defs/sty0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/defs/sty0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd/sty0_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd/sty0_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd/sty0_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd/sty0_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd/sty0_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/props/sty0_correct.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty0/props/sty0_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/cnt/sty1_cnt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/defs/sty1.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/defs/sty1_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_abbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_cast2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_correct.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sty1/props/sty1_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/dec/dnf_dec2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/dec/dnf_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/defs/subst0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/defs/subst0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_lift_false.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_lift_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_lift_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd/subst0_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props/subst0_lift_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props/subst0_lift_ge_s.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props/subst0_lift_ge_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props/subst0_lift_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props/subst0_refl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_confluence_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_confluence_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_confluence_neq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_subst0_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0/subst0_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt/subst0_tlt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt/subst0_tlt_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt/subst0_weight_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt/subst0_weight_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/defs/subst1.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/defs/subst1_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_lift_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_lift_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_lift_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd/subst1_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props/subst1_ex.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props/subst1_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props/subst1_lift_ge.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props/subst1_lift_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props/subst1_lift_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_confluence_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_confluence_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_confluence_neq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_subst1_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_subst1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1/subst1_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/defs/subst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/fwd/subst_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/fwd/subst_lref_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/fwd/subst_lref_gt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/fwd/subst_lref_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/fwd/subst_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/props/subst_lift_SO.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst/props/subst_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/abst_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/bind_dec_not.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/binder_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/term_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/terms_props__bind_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/terms_props__flat_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec/terms_props__kind_dec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/B.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/B_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/B_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/B_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/F.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/F_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/F_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/F_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/K.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/K_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/K_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/K_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/T.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/T_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/T_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/T_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs/tweight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/TApp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/THeads.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/TList.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/TList_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/TList_rec.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/TList_rect.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/tslen.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs/tslt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props/tcons_tapp_ex.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props/theads_tapp.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props/tlist_ind_rev.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props/tslt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props/tslt_wf__q_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/defs/tlt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/defs/wadd.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/defs/weight.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/defs/weight_map.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/tlt_head_dx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/tlt_head_sx.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/tlt_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/tlt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/tlt_wf__q_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/wadd_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/wadd_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/wadd_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/weight_add_O.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/weight_add_S.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/weight_eq.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props/weight_le.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/props/not_abbr_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/props/not_void_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/props/thead_x_y_y.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/props/tweight_lt.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props/ty3_acyclic.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props/ty3_predicative.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props/ty3_repellent.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props/ty3_sn3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity/ty3_arity.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/dec/ty3_inference.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/defs/ty3.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/defs/ty3_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0/ty3_csubst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0/ty3_fsubst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0/ty3_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd/ty3_gen_appl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd/ty3_gen_bind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd/ty3_gen_cast.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd/ty3_gen_lref.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd/ty3_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_gen__ty3_nf2_inv_abst_aux.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_inv_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_inv_abst_premise.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_inv_abst_premise_csort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_inv_all.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2/ty3_nf2_inv_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_cred_pr2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_cred_pr3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_gen_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_sconv.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_sconv_pc3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_sred_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props/ty3_tred.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3/ty3_sred_pr0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3/ty3_sred_pr1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3/ty3_sred_pr2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3/ty3_sred_pr3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3/ty3_sred_wcpr0_pr0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_correct.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_gen_abst_abst.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_getl_subst0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_lift.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_typecheck.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props/ty3_unique.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/sty0/ty3_sty0.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/subst1/ty3_gen_cabbr.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/subst1/ty3_gen_cvoid.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/defs/wcpr0.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/defs/wcpr0_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/fwd/wcpr0_gen_head.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/fwd/wcpr0_gen_sort.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl/wcpr0_drop_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl/wcpr0_drop.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl/wcpr0_getl_back.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl/wcpr0_getl.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/clear/clear_wf3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/clear/wf3_clear_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/defs/wf3.ind
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/defs/wf3_ind.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd/wf3_gen_bind1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd/wf3_gen_flat1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd/wf3_gen_head2.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd/wf3_gen_sort1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/getl/getl_wf3_trans.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/getl/wf3_getl_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/props/ty3_shift1.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/props/wf3_idem.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/props/wf3_mono.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/props/wf3_total.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/props/wf3_ty3.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3/wf3_pc3_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3/wf3_pr2_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3/wf3_pr3_conf.con
-cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3/wf3_ty3_conf.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/Acc.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/Acc_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/bool.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/bool_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/bool_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/bool_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/eq.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/eq_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/eq_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/eq_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/ex2.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/ex2_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/ex.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/ex_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/IsSucc.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/land.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/land_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/land_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/land_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/le.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/le_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/lt.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/ltof.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/minus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/nat.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/nat_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/nat_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/nat_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/not.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/or.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/or_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/pred.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/True.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/True_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/True_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/True_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/defs/well_founded.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/eq_add_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/eq_ind_r.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/f_equal2.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/f_equal3.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/f_equal.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_antisym.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_elim_rel.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_lt_n_Sm.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_lt_or_eq.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_lt_plus_plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_lt_trans.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_n_O_eq.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_not_lt.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_n_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_O_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_or_lt.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_minus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_minus_r.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_r.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_plus_trans.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_pred_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_reg_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_S_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_Sn_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_Sn_O.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_trans.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/le_trans_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_le_plus_plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_le_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_le_trans.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_le_weak.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_n_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_n_O.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_n_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_n_Sm_le.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_n_Sn.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_O_Sn.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_plus_plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_reg_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_reg_r.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_S_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_trans.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_wf.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/lt_wf_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/minus_n_n.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/minus_n_O.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/minus_plus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/minus_Sn_m.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/nat_double_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/not_eq_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/O_S.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_assoc_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_assoc_r.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_minus.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_n_O.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_n_Sm.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_Snm_nSm.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/plus_sym.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/pred_Sn.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/simpl_le_plus_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/simpl_lt_plus_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/simpl_plus_l.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/S_pred.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/sym_eq.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/sym_not_eq.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/trans_eq.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/coq/props/well_founded_ltof.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/preamble/False.ind
-cic:/matita/LAMBDA-TYPES/Legacy-1/preamble/False_ind.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/preamble/False_rec.con
-cic:/matita/LAMBDA-TYPES/Legacy-1/preamble/False_rect.con
-cic:/matita/LAMBDA-TYPES/Legacy-2/preamble/f_equal_sym.con
-cic:/matita/lattice/absorbjm.con
-cic:/matita/lattice/absorbmj.con
-cic:/matita/lattice/apartness_OF_lattice_1.con
-cic:/matita/lattice/apartness_OF_lattice1.con
-cic:/matita/lattice/apartness_OF_lattice_.con
-cic:/matita/lattice/apartness_OF_lattice.con
-cic:/matita/lattice/apartness_OF_semi_lattice.con
-cic:/matita/lattice/excess_base_OF_lattice_1.con
-cic:/matita/lattice/excess_base_OF_lattice1.con
-cic:/matita/lattice/excess_base_OF_lattice_2.con
-cic:/matita/lattice/excess_base_OF_lattice2.con
-cic:/matita/lattice/excess_base_OF_lattice_.con
-cic:/matita/lattice/excess_base_OF_lattice.con
-cic:/matita/lattice/excess_base_OF_semi_lattice1.con
-cic:/matita/lattice/excess_base_OF_semi_lattice.con
-cic:/matita/lattice/excess_dual_OF_lattice_1.con
-cic:/matita/lattice/excess_dual_OF_lattice1.con
-cic:/matita/lattice/excess_dual_OF_lattice_.con
-cic:/matita/lattice/excess_dual_OF_lattice.con
-cic:/matita/lattice/excess_dual_OF_semi_lattice.con
-cic:/matita/lattice/excess_of_excess_base.con
-cic:/matita/lattice/excess__OF_lattice_1.con
-cic:/matita/lattice/excess__OF_lattice1.con
-cic:/matita/lattice/excess_OF_lattice_1.con
-cic:/matita/lattice/excess_OF_lattice1.con
-cic:/matita/lattice/excess__OF_lattice_.con
-cic:/matita/lattice/excess__OF_lattice.con
-cic:/matita/lattice/excess_OF_lattice_.con
-cic:/matita/lattice/excess_OF_lattice.con
-cic:/matita/lattice/excess_of_semi_lattice_base.con
-cic:/matita/lattice/excess__OF_semi_lattice.con
-cic:/matita/lattice/FALSE.con
-cic:/matita/lattice/ge_to_le.con
-cic:/matita/lattice/hole.con
-cic:/matita/lattice/latt_carr.con
-cic:/matita/lattice/lattice_.ind
-cic:/matita/lattice/lattice.ind
-cic:/matita/lattice/lattice__ind.con
-cic:/matita/lattice/lattice_ind.con
-cic:/matita/lattice/lattice__rec.con
-cic:/matita/lattice/lattice_rec.con
-cic:/matita/lattice/lattice__rect.con
-cic:/matita/lattice/lattice_rect.con
-cic:/matita/lattice/latt_jcarr_.con
-cic:/matita/lattice/latt_jcarr.con
-cic:/matita/lattice/latt_mcarr.con
-cic:/matita/lattice/latt_with1.con
-cic:/matita/lattice/le_to_ge.con
-cic:/matita/lattice/semi_lattice_base.ind
-cic:/matita/lattice/semi_lattice_base_ind.con
-cic:/matita/lattice/semi_lattice_base_rec.con
-cic:/matita/lattice/semi_lattice_base_rect.con
-cic:/matita/lattice/semi_lattice.ind
-cic:/matita/lattice/semi_lattice_ind.con
-cic:/matita/lattice/semi_lattice_OF_lattice1.con
-cic:/matita/lattice/semi_lattice_OF_lattice.con
-cic:/matita/lattice/semi_lattice_rec.con
-cic:/matita/lattice/semi_lattice_rect.con
-cic:/matita/lattice/sl_carr.con
-cic:/matita/lattice/sl_exc.con
-cic:/matita/lattice/sl_feq_ml.con
-cic:/matita/lattice/sl_feq_mr.con
-cic:/matita/lattice/sl_lem.con
-cic:/matita/lattice/sl_le_to_eqm.con
-cic:/matita/lattice/sl_meet_assoc.con
-cic:/matita/lattice/sl_meet_comm.con
-cic:/matita/lattice/sl_meet.con
-cic:/matita/lattice/sl_meet_refl.con
-cic:/matita/lattice/sl_op_assoc.con
-cic:/matita/lattice/sl_op_comm.con
-cic:/matita/lattice/sl_op.con
-cic:/matita/lattice/sl_op_refl.con
-cic:/matita/lattice/sl_strong_extm.con
-cic:/matita/lattice/sl_strong_extop.con
-cic:/matita/lattice/subst_dual_excess.con
-cic:/matita/lattice/subst_excess_base.con
-cic:/matita/lattice/subst_excess_base_in_excess_.con
-cic:/matita/lattice/subst_excess_base_in_excess.con
-cic:/matita/lattice/subst_excess_base_in_excess_preserves_apartness.con
-cic:/matita/lattice/subst_excess_base_in_semi_lattice.con
-cic:/matita/lattice/subst_excess_.con
-cic:/matita/lattice/subst_excess.con
-cic:/matita/lattice/subst_excess__preserves_aprtness.con
-cic:/matita/lattice/subst_excess_preserves_aprtness.con
-cic:/matita/lattice/tech1.con
-cic:/matita/lattice/tech2.con
-cic:/matita/lattice/Type_OF_lattice_.con
-cic:/matita/lattice/Type_OF_lattice.con
-cic:/matita/lattice/Type_OF_semi_lattice_base.con
-cic:/matita/lattice/Type_OF_semi_lattice.con
-cic:/matita/lattice/W1.con
-cic:/matita/lattice/W2.con
-cic:/matita/lattice/W3.con
-cic:/matita/lattice/W4.con
-cic:/matita/lattice/W5.con
-cic:/matita/legacy/coq/f_equal1.con
-cic:/matita/list/in/incl_A_A.con
-cic:/matita/list/in/incl.con
-cic:/matita/list/in/in_list_append_to_or_in_list.con
-cic:/matita/list/in/in_list_cons_case.con
-cic:/matita/list/in/in_list_filter.con
-cic:/matita/list/in/in_list_filter_r.con
-cic:/matita/list/in/in_list_filter_to_p_true.con
-cic:/matita/list/in/in_list.ind
-cic:/matita/list/in/in_list_ind.con
-cic:/matita/list/in/in_list_inv.con
-cic:/matita/list/in/in_list_singleton_to_eq.con
-cic:/matita/list/in/in_list_tail.con
-cic:/matita/list/in/in_list_to_in_list_append_l.con
-cic:/matita/list/in/in_list_to_in_list_append_r.con
-cic:/matita/list/in/in_list_to_mem_true.con
-cic:/matita/list/in/mem.con
-cic:/matita/list/in/mem_true_to_in_list.con
-cic:/matita/list/in/not_in_list_nil.con
-cic:/matita/list/list/append.con
-cic:/matita/list/list/append_cons.con
-cic:/matita/list/list/append_nil.con
-cic:/matita/list/list/associative_append.con
-cic:/matita/list/list/cons_append_commute.con
-cic:/matita/list/list/eq_map.con
-cic:/matita/list/list/filter.con
-cic:/matita/list/list/foldr.con
-cic:/matita/list/list/id_list.con
-cic:/matita/list/list/iota.con
-cic:/matita/list/list/le_length_filter.con
-cic:/matita/list/list/length.con
-cic:/matita/list/list/list.ind
-cic:/matita/list/list/list_ind2.con
-cic:/matita/list/list/list_ind.con
-cic:/matita/list/list/list_rec.con
-cic:/matita/list/list/list_rect.con
-cic:/matita/list/list/map.con
-cic:/matita/list/list/nil_cons.con
-cic:/matita/list/list/nth.con
-cic:/matita/list/list/permut1_ind.con
-cic:/matita/list/list/permut1_inv.con
-cic:/matita/list/list/permutation.ind
-cic:/matita/list/list/permutation_ind.con
-cic:/matita/list/list/permutation_inv.con
-cic:/matita/list/list/tail.con
-cic:/matita/list/list/tmp.con
-cic:/matita/list/list/x1.con
-cic:/matita/list/list/x2.con
-cic:/matita/list/list/x3.con
-cic:/matita/list/sort/insert.con
-cic:/matita/list/sort/insert_ind.con
-cic:/matita/list/sort/insertionsort.con
-cic:/matita/list/sort/insertionsort_sorted.con
-cic:/matita/list/sort/insert_sorted.con
-cic:/matita/list/sort/ordered.con
-cic:/matita/list/sort/ordered_injective.con
-cic:/matita/list/sort/sorted_cons_to_sorted.con
-cic:/matita/list/sort/sorted.ind
-cic:/matita/list/sort/sorted_ind.con
-cic:/matita/list/sort/sorted_inv.con
-cic:/matita/list/sort/sorted_to_eq_sorted_b_true.con
-cic:/matita/list/sort/sorted_to_minimum.con
-cic:/matita/LOGIC/CLE/defs/CLE.ind
-cic:/matita/LOGIC/CLE/defs/CLE_ind.con
-cic:/matita/LOGIC/CLE/defs/CLE_inv.con
-cic:/matita/logic/coimplication/Iff.con
-cic:/matita/logic/coimplication/iff_intro.con
-cic:/matita/logic/coimplication/iff_refl.con
-cic:/matita/logic/coimplication/iff_sym.con
-cic:/matita/logic/coimplication/iff_trans.con
-cic:/matita/logic/connectives2/reflexive_iff.con
-cic:/matita/logic/connectives2/symmetric_iff.con
-cic:/matita/logic/connectives2/transitive_iff.con
-cic:/matita/logic/connectives/absurd.con
-cic:/matita/logic/connectives/And.ind
-cic:/matita/logic/connectives/And_ind.con
-cic:/matita/logic/connectives/And_rec.con
-cic:/matita/logic/connectives/And_rect.con
-cic:/matita/logic/connectives/decidable.con
-cic:/matita/logic/connectives/ex2.ind