-cic:/matita/nat/compare/not_eq_to_eqb_false.con
-cic:/matita/nat/compare/nat_compare_to_Prop.con
-cic:/matita/nat/compare/nat_compare_pred_pred.con
-cic:/matita/nat/compare/nat_compare_n_n.con
-cic:/matita/nat/compare/nat_compare_n_m_m_n.con
-cic:/matita/nat/compare/nat_compare_elim.con
-cic:/matita/nat/compare/nat_compare_S_S.con
-cic:/matita/nat/compare/nat_compare.con
-cic:/matita/nat/compare/ltb_to_Prop.con
-cic:/matita/nat/compare/ltb_elim.con
-cic:/matita/nat/compare/ltb.con
-cic:/matita/nat/compare/lt_to_leb_false.con
-cic:/matita/nat/compare/leb_true_to_le.con
-cic:/matita/nat/compare/leb_to_Prop.con
-cic:/matita/nat/compare/leb_false_to_not_le.con
-cic:/matita/nat/compare/leb_elim.con
-cic:/matita/nat/compare/leb_demod3.con
-cic:/matita/nat/compare/leb_demod2.con
-cic:/matita/nat/compare/leb_demod1.con
-cic:/matita/nat/compare/leb.con
-cic:/matita/nat/compare/le_to_leb_true.con
-cic:/matita/nat/compare/eqb_true_to_eq.con
-cic:/matita/nat/compare/eqb_to_Prop.con
-cic:/matita/nat/compare/eqb_n_n.con
-cic:/matita/nat/compare/eqb_false_to_not_eq.con
-cic:/matita/nat/compare/eqb_elim.con
-cic:/matita/nat/compare/eqb.con
-cic:/matita/nat/compare/eq_to_eqb_true.con
-cic:/matita/nat/compare/compare_demod2.con
-cic:/matita/nat/compare/compare_demod1.con
-cic:/matita/nat/nat/pred_demod2.con
-cic:/matita/nat/nat/pred_demod1.con
-cic:/matita/nat/nat/pred_Sn.con
-cic:/matita/nat/nat/pred.con
-cic:/matita/nat/nat/not_zero.con
-cic:/matita/nat/nat/not_eq_n_Sn.con
-cic:/matita/nat/nat/not_eq_S.con
-cic:/matita/nat/nat/not_eq_O_S.con
-cic:/matita/nat/nat/nat_rect.con
-cic:/matita/nat/nat/nat_rec.con
-cic:/matita/nat/nat/nat_ind.con
-cic:/matita/nat/nat/nat_elim2.con
-cic:/matita/nat/nat/nat_case1.con
-cic:/matita/nat/nat/nat_case.con
-cic:/matita/nat/nat/nat.ind
-cic:/matita/nat/nat/injective_S.con
-cic:/matita/nat/nat/inj_S.con
-cic:/matita/nat/nat/decidable_eq_nat.con
-cic:/matita/nat/orders/transitive_lt.con
-cic:/matita/nat/orders/transitive_le.con
-cic:/matita/nat/orders/trans_lt.con
-cic:/matita/nat/orders/trans_le.con
-cic:/matita/nat/orders/not_lt_to_le.con
-cic:/matita/nat/orders/not_le_to_lt.con
-cic:/matita/nat/orders/not_le_Sn_n.con
-cic:/matita/nat/orders/not_le_Sn_O.con
-cic:/matita/nat/orders/not_eq_to_le_to_lt.con
-cic:/matita/nat/orders/nat_elim1.con
-cic:/matita/nat/orders/ltn_to_ltO.con
-cic:/matita/nat/orders/lt_to_not_le.con
-cic:/matita/nat/orders/lt_to_not_eq.con
-cic:/matita/nat/orders/lt_to_lt_S_S.con
-cic:/matita/nat/orders/lt_to_le_to_lt.con
-cic:/matita/nat/orders/lt_to_le.con
-cic:/matita/nat/orders/lt_pred.con
-cic:/matita/nat/orders/lt_n_m_to_not_lt_m_Sn.con
-cic:/matita/nat/orders/lt_S_to_lt.con
-cic:/matita/nat/orders/lt_S_to_le.con
-cic:/matita/nat/orders/lt_S_S_to_lt.con
-cic:/matita/nat/orders/lt_SO_n_to_lt_O_pred_n.con
-cic:/matita/nat/orders/lt_O_n_elim.con
-cic:/matita/nat/orders/lt_O_S.con
-cic:/matita/nat/orders/lt.con
-cic:/matita/nat/orders/le_to_or_lt_eq.con
-cic:/matita/nat/orders/le_to_not_lt.con
-cic:/matita/nat/orders/le_to_lt_to_lt.con
-cic:/matita/nat/orders/le_to_le_to_eq.con
-cic:/matita/nat/orders/le_to_le_pred.con
-cic:/matita/nat/orders/le_pred_to_le.con
-cic:/matita/nat/orders/le_pred_n.con
-cic:/matita/nat/orders/le_n_m_to_lt_m_Sn_to_eq_n_m.con
-cic:/matita/nat/orders/le_n_fn.con
-cic:/matita/nat/orders/le_n_Sn.con
-cic:/matita/nat/orders/le_n_Sm_elim.con
-cic:/matita/nat/orders/le_n_O_to_eq.con
-cic:/matita/nat/orders/le_n_O_elim.con
-cic:/matita/nat/orders/le_inv.con
-cic:/matita/nat/orders/le_ind.con
-cic:/matita/nat/orders/le_S_S_to_le.con
-cic:/matita/nat/orders/le_S_S.con
-cic:/matita/nat/orders/le_O_n.con
-cic:/matita/nat/orders/leS_to_not_zero.con
-cic:/matita/nat/orders/le.ind
-cic:/matita/nat/orders/increasing_to_monotonic.con
-cic:/matita/nat/orders/increasing_to_le2.con
-cic:/matita/nat/orders/increasing_to_le.con
-cic:/matita/nat/orders/increasing.con
-cic:/matita/nat/orders/gt.con
-cic:/matita/nat/orders/ge.con
-cic:/matita/nat/orders/eq_to_not_lt.con
-cic:/matita/nat/orders/decidable_lt.con
-cic:/matita/nat/orders/decidable_le.con
-cic:/matita/nat/orders/antisymmetric_le.con
-cic:/matita/nat/orders/antisym_le.con
-cic:/matita/nat/orders/S_pred.con
-cic:/matita/nat/orders/Not_lt_n_n.con
-cic:/matita/nat/plus/sym_plus.con
-cic:/matita/nat/plus/plus_n_Sm.con
-cic:/matita/nat/plus/plus_n_SO.con
-cic:/matita/nat/plus/plus_n_O.con
-cic:/matita/nat/plus/plus_demod4.con
-cic:/matita/nat/plus/plus_demod3.con
-cic:/matita/nat/plus/plus_demod2.con
-cic:/matita/nat/plus/plus_demod1.con
-cic:/matita/nat/plus/plus.con
-cic:/matita/nat/plus/injective_plus_r.con
-cic:/matita/nat/plus/injective_plus_l.con
-cic:/matita/nat/plus/inj_plus_r.con
-cic:/matita/nat/plus/inj_plus_l.con
-cic:/matita/nat/plus/associative_plus.con
-cic:/matita/nat/plus/assoc_plus.con
-cic:/matita/nat/times/times_n_Sm.con
-cic:/matita/nat/times/times_n_SO.con
-cic:/matita/nat/times/times_n_O.con
-cic:/matita/nat/times/times_demod6.con
-cic:/matita/nat/times/times_demod4.con
-cic:/matita/nat/times/times_demod2.con
-cic:/matita/nat/times/times_demod1.con
-cic:/matita/nat/times/times_SSO_n.con
-cic:/matita/nat/times/times_SSO.con
-cic:/matita/nat/times/times_O_to_O.con
-cic:/matita/nat/times/times.con
-cic:/matita/nat/times/symmetric_times.con
-cic:/matita/nat/times/sym_times.con
-cic:/matita/nat/times/or_eq_eq_S.con
-cic:/matita/nat/times/distributive_times_plus.con
-cic:/matita/nat/times/distr_times_plus.con
-cic:/matita/nat/times/associative_times.con
-cic:/matita/nat/times/assoc_times.con
-cic:/matita/Z/z/pos_n_eq_S_n.con
-cic:/matita/Z/z/not_eq_pos_neg.con
-cic:/matita/Z/z/not_eq_OZ_pos.con
-cic:/matita/Z/z/not_eq_OZ_neg.con
-cic:/matita/Z/z/neg_Z_of_nat.con
-cic:/matita/Z/z/injective_pos.con
-cic:/matita/Z/z/injective_neg.con
-cic:/matita/Z/z/inj_pos.con
-cic:/matita/Z/z/inj_neg.con
-cic:/matita/Z/z/decidable_eq_Z.con
-cic:/matita/Z/z/abs.con
-cic:/matita/Z/z/Zsucc_Zpred.con
-cic:/matita/Z/z/Zsucc.con
-cic:/matita/Z/z/Zpred_Zsucc.con
-cic:/matita/Z/z/Zpred.con
-cic:/matita/Z/z/Z_rect.con
-cic:/matita/Z/z/Z_rec.con
-cic:/matita/Z/z/Z_of_nat.con
-cic:/matita/Z/z/Z_ind.con
-cic:/matita/Z/z/Z.ind
-cic:/matita/Z/z/OZ_test_to_Prop.con
-cic:/matita/Z/z/OZ_test.con
-cic:/matita/algebra/monoids/premonoid.con
-cic:/matita/algebra/monoids/monoid_properties.con
-cic:/matita/algebra/monoids/magma.con
-cic:/matita/algebra/monoids/is_semi_group.con
-cic:/matita/algebra/monoids/is_right_inverse.con
-cic:/matita/algebra/monoids/is_left_inverse_to_is_right_inverse_to_eq.con
-cic:/matita/algebra/monoids/is_left_inverse.con
-cic:/matita/algebra/monoids/isSemiGroup_OF_Monoid.con
-cic:/matita/algebra/monoids/isMonoid_rect.con
-cic:/matita/algebra/monoids/isMonoid_rec.con
-cic:/matita/algebra/monoids/isMonoid_ind.con
-cic:/matita/algebra/monoids/isMonoid.ind
-cic:/matita/algebra/monoids/e_is_right_unit.con
-cic:/matita/algebra/monoids/e_is_left_unit.con
-cic:/matita/algebra/monoids/e.con
-cic:/matita/algebra/monoids/Type_OF_PreMonoid.con
-cic:/matita/algebra/monoids/Type_OF_Monoid.con
-cic:/matita/algebra/monoids/PreMonoid_rect.con
-cic:/matita/algebra/monoids/PreMonoid_rec.con
-cic:/matita/algebra/monoids/PreMonoid_ind.con
-cic:/matita/algebra/monoids/PreMonoid.ind
-cic:/matita/algebra/monoids/Monoid_rect.con
-cic:/matita/algebra/monoids/Monoid_rec.con
-cic:/matita/algebra/monoids/Monoid_ind.con
-cic:/matita/algebra/monoids/Monoid.ind
-cic:/matita/algebra/monoids/Magma_OF_Monoid.con
-cic:/matita/algebra/semigroups/semigroup_properties.con
-cic:/matita/algebra/semigroups/op_associative.con
-cic:/matita/algebra/semigroups/op.con
-cic:/matita/algebra/semigroups/magma.con
-cic:/matita/algebra/semigroups/is_right_unit.con
-cic:/matita/algebra/semigroups/is_left_unit_to_is_right_unit_to_eq.con
-cic:/matita/algebra/semigroups/is_left_unit.con
-cic:/matita/algebra/semigroups/isSemiGroup_rect.con
-cic:/matita/algebra/semigroups/isSemiGroup_rec.con
-cic:/matita/algebra/semigroups/isSemiGroup_ind.con
-cic:/matita/algebra/semigroups/isSemiGroup.ind
-cic:/matita/algebra/semigroups/carrier.con
-cic:/matita/algebra/semigroups/Type_OF_SemiGroup.con
-cic:/matita/algebra/semigroups/SemiGroup_rect.con
-cic:/matita/algebra/semigroups/SemiGroup_rec.con
-cic:/matita/algebra/semigroups/SemiGroup_ind.con
-cic:/matita/algebra/semigroups/SemiGroup.ind
-cic:/matita/algebra/semigroups/Magma_rect.con
-cic:/matita/algebra/semigroups/Magma_rec.con
-cic:/matita/algebra/semigroups/Magma_ind.con
-cic:/matita/algebra/semigroups/Magma.ind
-cic:/matita/datatypes/bool/true_to_true_to_andb_true.con
-cic:/matita/datatypes/bool/orb_sym.con
-cic:/matita/datatypes/bool/orb_elim.con
-cic:/matita/datatypes/bool/orb.con
-cic:/matita/datatypes/bool/notb_notb.con
-cic:/matita/datatypes/bool/notb_elim.con
-cic:/matita/datatypes/bool/notb.con
-cic:/matita/datatypes/bool/not_eq_true_false.con
-cic:/matita/datatypes/bool/injective_notb.con
-cic:/matita/datatypes/bool/if_then_else.con
-cic:/matita/datatypes/bool/bool_to_decidable_eq.con
-cic:/matita/datatypes/bool/bool_rect.con
-cic:/matita/datatypes/bool/bool_rec.con
-cic:/matita/datatypes/bool/bool_ind.con
-cic:/matita/datatypes/bool/bool_elim.con
-cic:/matita/datatypes/bool/bool.ind
-cic:/matita/datatypes/bool/andb_true_true_r.con
-cic:/matita/datatypes/bool/andb_true_true.con
-cic:/matita/datatypes/bool/andb_sym.con
-cic:/matita/datatypes/bool/andb_elim.con
-cic:/matita/datatypes/bool/andb_assoc.con
-cic:/matita/datatypes/bool/andb.con
-cic:/matita/datatypes/bool/and_true.con
-cic:/matita/datatypes/bool/P_x_to_P_x_to_eq.con
-cic:/matita/datatypes/compare/compare_rect.con
-cic:/matita/datatypes/compare/compare_rec.con
-cic:/matita/datatypes/compare/compare_invert.con
-cic:/matita/datatypes/compare/compare_ind.con
-cic:/matita/datatypes/compare/compare.ind
-cic:/matita/datatypes/constructors/void_rect.con
-cic:/matita/datatypes/constructors/void_rec.con
-cic:/matita/datatypes/constructors/void_ind.con
-cic:/matita/datatypes/constructors/void.ind
-cic:/matita/datatypes/constructors/unit_rect.con
-cic:/matita/datatypes/constructors/unit_rec.con
-cic:/matita/datatypes/constructors/unit_ind.con
-cic:/matita/datatypes/constructors/unit.ind
-cic:/matita/datatypes/constructors/snd.con
-cic:/matita/datatypes/constructors/option_rect.con
-cic:/matita/datatypes/constructors/option_rec.con
-cic:/matita/datatypes/constructors/option_ind.con
-cic:/matita/datatypes/constructors/option.ind
-cic:/matita/datatypes/constructors/fst.con
-cic:/matita/datatypes/constructors/eq_pair_fst_snd.con
-cic:/matita/datatypes/constructors/Sum_rect.con
-cic:/matita/datatypes/constructors/Sum_rec.con
-cic:/matita/datatypes/constructors/Sum_ind.con
-cic:/matita/datatypes/constructors/Sum.ind
-cic:/matita/datatypes/constructors/Prod_rect.con
-cic:/matita/datatypes/constructors/Prod_rec.con
-cic:/matita/datatypes/constructors/Prod_ind.con
-cic:/matita/datatypes/constructors/Prod.ind
-cic:/matita/decidable_kit/decidable/reflect_rect.con
-cic:/matita/decidable_kit/decidable/reflect_rec.con
-cic:/matita/decidable_kit/decidable/reflect_inv.con
-cic:/matita/decidable_kit/decidable/reflect_ind.con
-cic:/matita/decidable_kit/decidable/reflect.ind
-cic:/matita/decidable_kit/decidable/prove_reflect.con
-cic:/matita/decidable_kit/decidable/p2bT.con
-cic:/matita/decidable_kit/decidable/p2bF.con
-cic:/matita/decidable_kit/decidable/orbP.con
-cic:/matita/decidable_kit/decidable/orbC.con
-cic:/matita/decidable_kit/decidable/orb.con
-cic:/matita/decidable_kit/decidable/negbP.con
-cic:/matita/decidable_kit/decidable/negb.con
-cic:/matita/decidable_kit/decidable/ltb_refl.con
-cic:/matita/decidable_kit/decidable/ltb_n_Sm.con
-cic:/matita/decidable_kit/decidable/ltbW.con
-cic:/matita/decidable_kit/decidable/ltbP.con
-cic:/matita/decidable_kit/decidable/ltb.con
-cic:/matita/decidable_kit/decidable/ltW.con
-cic:/matita/decidable_kit/decidable/ltS.con
-cic:/matita/decidable_kit/decidable/ltS'.con
-cic:/matita/decidable_kit/decidable/leb_refl.con
-cic:/matita/decidable_kit/decidable/leb_eqb.con
-cic:/matita/decidable_kit/decidable/lebW.con
-cic:/matita/decidable_kit/decidable/lebP.con
-cic:/matita/decidable_kit/decidable/idP.con
-cic:/matita/decidable_kit/decidable/eq_to_bool.con
-cic:/matita/decidable_kit/decidable/congr_S.con
-cic:/matita/decidable_kit/decidable/bool_to_eq.con
-cic:/matita/decidable_kit/decidable/b2pT.con
-cic:/matita/decidable_kit/decidable/b2pF.con
-cic:/matita/decidable_kit/decidable/andbPF.con
-cic:/matita/decidable_kit/decidable/andbP.con
-cic:/matita/decidable_kit/decidable/andb.con
-cic:/matita/decidable_kit/eqtype/test_canonical_option_eqType.con
-cic:/matita/decidable_kit/eqtype/sval.con
-cic:/matita/decidable_kit/eqtype/sub_eqType.con
-cic:/matita/decidable_kit/eqtype/sprop.con
-cic:/matita/decidable_kit/eqtype/sort_OF_nat.con
-cic:/matita/decidable_kit/eqtype/sort_OF_bool.con
-cic:/matita/decidable_kit/eqtype/sort.con
-cic:/matita/decidable_kit/eqtype/sigma_rect.con
-cic:/matita/decidable_kit/eqtype/sigma_rec.con
-cic:/matita/decidable_kit/eqtype/sigma_ind.con
-cic:/matita/decidable_kit/eqtype/sigma_eq_dec.con
-cic:/matita/decidable_kit/eqtype/sigma.ind
-cic:/matita/decidable_kit/eqtype/option_eqType.con
-cic:/matita/decidable_kit/eqtype/option_canonical_eqType.con
-cic:/matita/decidable_kit/eqtype/ocmpP.con
-cic:/matita/decidable_kit/eqtype/ocmp.con
-cic:/matita/decidable_kit/eqtype/nat_eqType.con
-cic:/matita/decidable_kit/eqtype/nat_canonical_eqType.con
-cic:/matita/decidable_kit/eqtype/in_sub_rect.con
-cic:/matita/decidable_kit/eqtype/in_sub_rec.con
-cic:/matita/decidable_kit/eqtype/in_sub_inv.con
-cic:/matita/decidable_kit/eqtype/in_sub_ind.con
-cic:/matita/decidable_kit/eqtype/in_sub_eq.con
-cic:/matita/decidable_kit/eqtype/in_sub.ind
-cic:/matita/decidable_kit/eqtype/if_p.con
-cic:/matita/decidable_kit/eqtype/eqbP.con
-cic:/matita/decidable_kit/eqtype/eq_compatible.con
-cic:/matita/decidable_kit/eqtype/eqType_rect.con
-cic:/matita/decidable_kit/eqtype/eqType_rec.con
-cic:/matita/decidable_kit/eqtype/eqType_ind.con
-cic:/matita/decidable_kit/eqtype/eqType_decidable.con
-cic:/matita/decidable_kit/eqtype/eqType.ind
-cic:/matita/decidable_kit/eqtype/eqP.con
-cic:/matita/decidable_kit/eqtype/cmp_refl.con
-cic:/matita/decidable_kit/eqtype/cmpP.con
-cic:/matita/decidable_kit/eqtype/cmpC.con
-cic:/matita/decidable_kit/eqtype/cmp.con
-cic:/matita/decidable_kit/eqtype/bool_eqType.con
-cic:/matita/decidable_kit/eqtype/bool_canonical_eqType.con
-cic:/matita/decidable_kit/eqtype/bcmpP.con
-cic:/matita/decidable_kit/eqtype/bcmp.con
-cic:/matita/decidable_kit/list_aux/mem.con
-cic:/matita/decidable_kit/list_aux/list_eqType.con
-cic:/matita/decidable_kit/list_aux/lcmp_length.con
-cic:/matita/decidable_kit/list_aux/lcmpP.con
-cic:/matita/decidable_kit/list_aux/lcmp.con
-cic:/matita/decidable_kit/list_aux/count.con
-cic:/matita/decidable_kit/streicher/stepH.con
-cic:/matita/decidable_kit/streicher/step.con
-cic:/matita/decidable_kit/streicher/pirrel.con
-cic:/matita/decidable_kit/streicher/nu_k.con
-cic:/matita/decidable_kit/streicher/nu_inv.con
-cic:/matita/decidable_kit/streicher/nu.con
-cic:/matita/decidable_kit/streicher/decT.con
-cic:/matita/decidable_kit/streicher/cancel_nu_nu_inv.con
-cic:/matita/decidable_kit/streicher/cancel.con
-cic:/matita/demo/realisability/type_OF_SP.con
-cic:/matita/demo/realisability/true_impl_realized.con
-cic:/matita/demo/realisability/sigma_rect.con
-cic:/matita/demo/realisability/sigma_rec.con
-cic:/matita/demo/realisability/sigma_ind.con
-cic:/matita/demo/realisability/sigma.ind
-cic:/matita/demo/realisability/realized.con
-cic:/matita/demo/realisability/pi2.con
-cic:/matita/demo/realisability/pi1.con
-cic:/matita/demo/realisability/modr.con
-cic:/matita/demo/realisability/id_axiom.con
-cic:/matita/demo/realisability/extraction.con
-cic:/matita/demo/realisability/elim_abs.con
-cic:/matita/demo/realisability/cut.con
-cic:/matita/demo/realisability/correct2.con
-cic:/matita/demo/realisability/correct.con
-cic:/matita/demo/realisability/and_i.con
-cic:/matita/demo/realisability/SP_rect.con
-cic:/matita/demo/realisability/SP_rec.con
-cic:/matita/demo/realisability/SP_ind.con
-cic:/matita/demo/realisability/SP.ind
-cic:/matita/demo/realisability/Prop_OF_SP.con
-cic:/matita/higher_order_defs/functions/symmetric2.con
-cic:/matita/higher_order_defs/functions/symmetric.con
-cic:/matita/higher_order_defs/functions/surjective.con
-cic:/matita/higher_order_defs/functions/monotonic.con
-cic:/matita/higher_order_defs/functions/injective.con
-cic:/matita/higher_order_defs/functions/eq_f_g_h.con
-cic:/matita/higher_order_defs/functions/distributive2.con
-cic:/matita/higher_order_defs/functions/distributive.con
-cic:/matita/higher_order_defs/functions/compose.con
-cic:/matita/higher_order_defs/functions/associative.con
-cic:/matita/higher_order_defs/ordering/antisymmetric.con
-cic:/matita/higher_order_defs/relations/transitive.con
-cic:/matita/higher_order_defs/relations/tight_apart.con
-cic:/matita/higher_order_defs/relations/symmetric.con
-cic:/matita/higher_order_defs/relations/relation.con
-cic:/matita/higher_order_defs/relations/reflexive.con
-cic:/matita/higher_order_defs/relations/irreflexive.con
-cic:/matita/higher_order_defs/relations/cotransitive.con
-cic:/matita/higher_order_defs/relations/antisymmetric.con
-cic:/matita/list/list/x3.con
-cic:/matita/list/list/x2.con
-cic:/matita/list/list/x1.con
-cic:/matita/list/list/tmp.con
-cic:/matita/list/list/tail_demod2.con
-cic:/matita/list/list/tail_demod1.con
-cic:/matita/list/list/tail.con
-cic:/matita/list/list/permutation_inv.con
-cic:/matita/list/list/permutation_ind.con
-cic:/matita/list/list/permutation.ind
-cic:/matita/list/list/permut1_inv.con
-cic:/matita/list/list/permut1_ind.con
-cic:/matita/list/list/nth.con
-cic:/matita/list/list/nil_cons.con
-cic:/matita/list/list/map_foldr2.con
-cic:/matita/list/list/map_foldr1.con
-cic:/matita/list/list/map_demod2.con
-cic:/matita/list/list/map_demod1.con
-cic:/matita/list/list/map.con
-cic:/matita/list/list/list_rect.con
-cic:/matita/list/list/list_rec.con
-cic:/matita/list/list/list_ind2.con
-cic:/matita/list/list/list_ind.con
-cic:/matita/list/list/list.ind
-cic:/matita/list/list/length.con
-cic:/matita/list/list/len_demod2.con
-cic:/matita/list/list/len_demod1.con
-cic:/matita/list/list/le_length_filter.con
-cic:/matita/list/list/iota_demod2.con
-cic:/matita/list/list/iota_demod1.con
-cic:/matita/list/list/iota.con
-cic:/matita/list/list/id_list.con
-cic:/matita/list/list/foldr.con
-cic:/matita/list/list/filter_demod2.con
-cic:/matita/list/list/filter_demod1.con
-cic:/matita/list/list/filter.con
-cic:/matita/list/list/eq_map.con
-cic:/matita/list/list/cons_append_commute.con
-cic:/matita/list/list/associative_append.con
-cic:/matita/list/list/append_nil.con
-cic:/matita/list/list/append_demod2.con
-cic:/matita/list/list/append_demod1.con
-cic:/matita/list/list/append_cons.con
-cic:/matita/list/list/append.con
-cic:/matita/logic/coimplication/iff_trans.con
-cic:/matita/logic/coimplication/iff_sym.con
-cic:/matita/logic/coimplication/iff_refl.con
-cic:/matita/logic/coimplication/iff_intro.con
-cic:/matita/logic/coimplication/Iff.con
-cic:/matita/logic/connectives/proj2.con
-cic:/matita/logic/connectives/proj1.con
-cic:/matita/logic/connectives/iff.con
-cic:/matita/logic/connectives/ex_ind.con
-cic:/matita/logic/connectives/ex2_ind.con
-cic:/matita/logic/connectives/ex2.ind
-cic:/matita/logic/connectives/ex.ind
-cic:/matita/logic/connectives/decidable.con
-cic:/matita/logic/connectives/absurd.con
-cic:/matita/logic/connectives/True_rect.con
-cic:/matita/logic/connectives/True_rec.con
-cic:/matita/logic/connectives/True_ind.con
-cic:/matita/logic/connectives/True.ind
-cic:/matita/logic/connectives/Or_ind.con
-cic:/matita/logic/connectives/Or_ind'.con
-cic:/matita/logic/connectives/Or.ind
-cic:/matita/logic/connectives/Not.con
-cic:/matita/logic/connectives/False_rect.con
-cic:/matita/logic/connectives/False_rec.con
-cic:/matita/logic/connectives/False_ind.con
-cic:/matita/logic/connectives/False.ind
-cic:/matita/logic/connectives/And_rect.con
-cic:/matita/logic/connectives/And_rec.con
-cic:/matita/logic/connectives/And_ind.con
-cic:/matita/logic/connectives/And.ind
-cic:/matita/logic/connectives2/transitive_iff.con
-cic:/matita/logic/connectives2/symmetric_iff.con
-cic:/matita/logic/connectives2/reflexive_iff.con
-cic:/matita/logic/equality/transitive_eq.con
-cic:/matita/logic/equality/trans_sym_eq.con
-cic:/matita/logic/equality/trans_eq.con
-cic:/matita/logic/equality/symmetric_eq.con
-cic:/matita/logic/equality/sym_eq.con
-cic:/matita/logic/equality/reflexive_eq.con
-cic:/matita/logic/equality/nu_left_inv.con
-cic:/matita/logic/equality/nu_inv.con
-cic:/matita/logic/equality/nu_constant.con
-cic:/matita/logic/equality/nu.con
-cic:/matita/logic/equality/eq_to_eq_to_eq_p_q.con
-cic:/matita/logic/equality/eq_rect.con
-cic:/matita/logic/equality/eq_rect'.con
-cic:/matita/logic/equality/eq_rec.con
-cic:/matita/logic/equality/eq_ind.con
-cic:/matita/logic/equality/eq_f2.con
-cic:/matita/logic/equality/eq_f.con
-cic:/matita/logic/equality/eq_f'.con
-cic:/matita/logic/equality/eq_elim_r.con
-cic:/matita/logic/equality/eq_elim_r'.con
-cic:/matita/logic/equality/eq_elim_r''.con
-cic:/matita/logic/equality/eq_OF_eq2.con
-cic:/matita/logic/equality/eq_OF_eq1.con
-cic:/matita/logic/equality/eq_OF_eq.con
-cic:/matita/logic/equality/eq.ind
-cic:/matita/logic/equality/comp.con
-cic:/matita/technicalities/setoids/variance_rect.con
-cic:/matita/technicalities/setoids/variance_rec.con
-cic:/matita/technicalities/setoids/variance_of_argument_class.con
-cic:/matita/technicalities/setoids/variance_ind.con
-cic:/matita/technicalities/setoids/variance.ind
-cic:/matita/technicalities/setoids/rewrite_direction_rect.con
-cic:/matita/technicalities/setoids/rewrite_direction_rec.con
-cic:/matita/technicalities/setoids/rewrite_direction_ind.con
-cic:/matita/technicalities/setoids/rewrite_direction.ind
-cic:/matita/technicalities/setoids/relation_of_relation_class.con
-cic:/matita/technicalities/setoids/relation_of_product_of_arguments.con
-cic:/matita/technicalities/setoids/relation_of_areflexive_relation_class.con
-cic:/matita/technicalities/setoids/relation_class_of_reflexive_relation_class.con
-cic:/matita/technicalities/setoids/relation_class_of_argument_class.con
-cic:/matita/technicalities/setoids/relation_class_of_areflexive_relation_class.con
-cic:/matita/technicalities/setoids/product_of_arguments.con
-cic:/matita/technicalities/setoids/opposite_direction_idempotent.con
-cic:/matita/technicalities/setoids/opposite_direction.con
-cic:/matita/technicalities/setoids/nelistT_rect.con
-cic:/matita/technicalities/setoids/nelistT_rec.con
-cic:/matita/technicalities/setoids/nelistT_ind.con
-cic:/matita/technicalities/setoids/nelistT.ind
-cic:/matita/technicalities/setoids/morphism_theory_of_predicate.con
-cic:/matita/technicalities/setoids/morphism_theory_of_function.con
-cic:/matita/technicalities/setoids/make_compatibility_goal_aux.con
-cic:/matita/technicalities/setoids/make_compatibility_goal.con
-cic:/matita/technicalities/setoids/list_of_Leibniz_of_list_of_types.con
-cic:/matita/technicalities/setoids/interp_relation_class_list.con
-cic:/matita/technicalities/setoids/interp.con
-cic:/matita/technicalities/setoids/impl_trans.con
-cic:/matita/technicalities/setoids/impl_refl.con
-cic:/matita/technicalities/setoids/impl.con
-cic:/matita/technicalities/setoids/get_rewrite_direction.con
-cic:/matita/technicalities/setoids/function_type_of_morphism_signature.con
-cic:/matita/technicalities/setoids/equality_morphism_of_symmetric_reflexive_transitive_relation.con
-cic:/matita/technicalities/setoids/equality_morphism_of_symmetric_areflexive_transitive_relation.con
-cic:/matita/technicalities/setoids/equality_morphism_of_asymmetric_reflexive_transitive_relation.con
-cic:/matita/technicalities/setoids/equality_morphism_of_asymmetric_areflexive_transitive_relation.con
-cic:/matita/technicalities/setoids/directed_relation_of_relation_class.con
-cic:/matita/technicalities/setoids/directed_relation_of_argument_class.con
-cic:/matita/technicalities/setoids/check_if_variance_is_respected_inv.con
-cic:/matita/technicalities/setoids/check_if_variance_is_respected_ind.con
-cic:/matita/technicalities/setoids/check_if_variance_is_respected.ind
-cic:/matita/technicalities/setoids/carrier_of_relation_class.con
-cic:/matita/technicalities/setoids/carrier_of_reflexive_relation_class.con
-cic:/matita/technicalities/setoids/carrier_of_areflexive_relation_class.con
-cic:/matita/technicalities/setoids/apply_morphism_compatibility_Right2Left.con
-cic:/matita/technicalities/setoids/apply_morphism_compatibility_Left2Right.con
-cic:/matita/technicalities/setoids/apply_morphism.con
-cic:/matita/technicalities/setoids/about_carrier_of_relation_class_and_relation_class_of_argument_class.con
-cic:/matita/technicalities/setoids/X_Relation_Class_rect.con
-cic:/matita/technicalities/setoids/X_Relation_Class_rec.con
-cic:/matita/technicalities/setoids/X_Relation_Class_ind.con
-cic:/matita/technicalities/setoids/X_Relation_Class.ind
-cic:/matita/technicalities/setoids/Relation_Class.con
-cic:/matita/technicalities/setoids/Reflexive_Relation_Class_rect.con
-cic:/matita/technicalities/setoids/Reflexive_Relation_Class_rec.con
-cic:/matita/technicalities/setoids/Reflexive_Relation_Class_ind.con
-cic:/matita/technicalities/setoids/Reflexive_Relation_Class.ind
-cic:/matita/technicalities/setoids/Morphism_Theory_rect.con
-cic:/matita/technicalities/setoids/Morphism_Theory_rec.con
-cic:/matita/technicalities/setoids/Morphism_Theory_ind.con
-cic:/matita/technicalities/setoids/Morphism_Theory.ind
-cic:/matita/technicalities/setoids/Morphism_Context_rect2.con
-cic:/matita/technicalities/setoids/Morphism_Context_rect.con
-cic:/matita/technicalities/setoids/Morphism_Context_rec.con
-cic:/matita/technicalities/setoids/Morphism_Context_inv.con
-cic:/matita/technicalities/setoids/Morphism_Context_ind.con
-cic:/matita/technicalities/setoids/Morphism_Context_List_rect2.con
-cic:/matita/technicalities/setoids/Morphism_Context_List_rect.con
-cic:/matita/technicalities/setoids/Morphism_Context_List_rec.con
-cic:/matita/technicalities/setoids/Morphism_Context_List_inv.con
-cic:/matita/technicalities/setoids/Morphism_Context_List_ind.con
-cic:/matita/technicalities/setoids/Morphism_Context.ind
-cic:/matita/technicalities/setoids/Impl_Relation_Class.con
-cic:/matita/technicalities/setoids/Iff_Relation_Class.con
-cic:/matita/technicalities/setoids/Function.con
-cic:/matita/technicalities/setoids/Compat.con
-cic:/matita/technicalities/setoids/Arguments.con
-cic:/matita/technicalities/setoids/Argument_Class.con
-cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rect.con
-cic:/matita/technicalities/setoids/Areflexive_Relation_Class_rec.con
-cic:/matita/technicalities/setoids/Areflexive_Relation_Class_ind.con
-cic:/matita/technicalities/setoids/Areflexive_Relation_Class.ind
-cic:/matita/tests/XXX.ind
+cic:/Lyon/FIRING-SQUAD/basic/GC_dollarB.con
+cic:/Lyon/FIRING-SQUAD/basic/GC_G.con
+cic:/Marseille/GC/card/card/card.ind
+cic:/Marseille/GC/card/card/card_ind.con
+cic:/Marseille/GC/card/card/card_inv.con
+cic:/Marseille/GC/card/card/card_rem.con
+cic:/Marseille/GC/card/card/dif2.con
+cic:/Marseille/GC/card/card/dif.con
+cic:/Marseille/GC/card/card/eq_dec_set.con
+cic:/Marseille/GC/card/card/exist_updated.con
+cic:/Marseille/GC/card/card_facts/eq_dec_set.con
+cic:/Marseille/GC/card/card_facts/exist_updated_M.con
+cic:/Marseille/GC/card/card_facts/exist_updated_N.con
+cic:/Marseille/GC/card/card_facts/include_card_bis.con
+cic:/Marseille/GC/card/card_facts/include_card.con
+cic:/Marseille/GC/card/card_facts/prop_dec2.con
+cic:/Marseille/GC/card/card_facts/prop_dec.con
+cic:/Marseille/GC/card/card_facts/update_M.con
+cic:/Marseille/GC/card/card_facts/update_N.con
+cic:/Marseille/GC/card/card/unicity_card.con
+cic:/Marseille/GC/card/card/update.con
+cic:/Marseille/GC/gc/gc/acc_imp_notfree.con
+cic:/Marseille/GC/gc/gc/add.con
+cic:/Marseille/GC/gc/gc/add_edge.ind
+cic:/Marseille/GC/gc/gc/add_edge_ind.con
+cic:/Marseille/GC/gc/gc/alloc.ind
+cic:/Marseille/GC/gc/gc/alloc_ind.con
+cic:/Marseille/GC/gc/gc/cases_marknode.con
+cic:/Marseille/GC/gc/gc/fair.con
+cic:/Marseille/GC/gc/gc/gc_call.ind
+cic:/Marseille/GC/gc/gc/gc_call_ind.con
+cic:/Marseille/GC/gc/gc/gc_end.ind
+cic:/Marseille/GC/gc/gc/gc_end_ind.con
+cic:/Marseille/GC/gc/gc/gc_end_rec.con
+cic:/Marseille/GC/gc/gc/gc_end_rect.con
+cic:/Marseille/GC/gc/gc/gc_free1.ind
+cic:/Marseille/GC/gc/gc/gc_free1_ind.con
+cic:/Marseille/GC/gc/gc/gc_free.ind
+cic:/Marseille/GC/gc/gc/gc_free_ind.con
+cic:/Marseille/GC/gc/gc/gc_stop.ind
+cic:/Marseille/GC/gc/gc/gc_stop_ind.con
+cic:/Marseille/GC/gc/gc/gc_stop_rec.con
+cic:/Marseille/GC/gc/gc/gc_stop_rect.con
+cic:/Marseille/GC/gc/gc/grey_node_case.ind
+cic:/Marseille/GC/gc/gc/grey_node_case_ind.con
+cic:/Marseille/GC/gc/gc/init_color.con
+cic:/Marseille/GC/gc/gc/init_marking.con
+cic:/Marseille/GC/gc/gc/init_state.con
+cic:/Marseille/GC/gc/gc/label.ind
+cic:/Marseille/GC/gc/gc/label_ind.con
+cic:/Marseille/GC/gc/gc/label_rec.con
+cic:/Marseille/GC/gc/gc/label_rect.con
+cic:/Marseille/GC/gc/gc/marking_add.con
+cic:/Marseille/GC/gc/gc/mark_node.ind
+cic:/Marseille/GC/gc/gc/mark_node_ind.con
+cic:/Marseille/GC/gc/gc/mark_node_rec.con
+cic:/Marseille/GC/gc/gc/mark_node_rect.con
+cic:/Marseille/GC/gc/gc/no_edge_black_to_white_bis.con
+cic:/Marseille/GC/gc/gc/no_edge_black_to_white.con
+cic:/Marseille/GC/gc/gc/nogrey_accn_imp_blackn.con
+cic:/Marseille/GC/gc/gc/remove.con
+cic:/Marseille/GC/gc/gc/remove_edge.ind
+cic:/Marseille/GC/gc/gc/remove_edge_ind.con
+cic:/Marseille/GC/gc/gc/rt_grey_or_black.con
+cic:/Marseille/GC/gc/gc/sweep_no_greys.con
+cic:/Marseille/GC/gc/gc/transition.ind
+cic:/Marseille/GC/gc/gc/transition_ind.con
+cic:/Marseille/GC/gc/gc/update_color.con
+cic:/Marseille/GC/gc/parameters/color.ind
+cic:/Marseille/GC/gc/parameters/color_ind.con
+cic:/Marseille/GC/gc/parameters/color_rec.con
+cic:/Marseille/GC/gc/parameters/color_rect.con
+cic:/Marseille/GC/gc/parameters/control.ind
+cic:/Marseille/GC/gc/parameters/control_ind.con
+cic:/Marseille/GC/gc/parameters/control_rec.con
+cic:/Marseille/GC/gc/parameters/control_rect.con
+cic:/Marseille/GC/gc/parameters/ctl.con
+cic:/Marseille/GC/gc/parameters/eq_dec_color.con
+cic:/Marseille/GC/gc/parameters/eq_dec_node.con
+cic:/Marseille/GC/gc/parameters/heap.con
+cic:/Marseille/GC/gc/parameters/hp.con
+cic:/Marseille/GC/gc/parameters/marking.con
+cic:/Marseille/GC/gc/parameters/mk.con
+cic:/Marseille/GC/gc/parameters/node.con
+cic:/Marseille/GC/gc/parameters/noteqmar_noteqnod.con
+cic:/Marseille/GC/gc/parameters/rt.con
+cic:/Marseille/GC/gc/parameters/state.ind
+cic:/Marseille/GC/gc/parameters/state_ind.con
+cic:/Marseille/GC/gc/parameters/state_rec.con
+cic:/Marseille/GC/gc/parameters/state_rect.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_ancestor.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_notacc_white.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_notgreyt_notgreys.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_add/add_white_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_ancestor.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_greys_greyt.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_notgreys_notgreyt.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_notgreyt_notgreys.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_notwhites_notwhitet.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_alloc/alloc_whites_whitet.con
+cic:/Marseille/GC/lemma_step/lemma_call/gccall_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_notgreyt_notgreys.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_end/gcend_white.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_greys_greyt.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_notblacks_notblackt.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_notgreys_notgreyt.con
+cic:/Marseille/GC/lemma_step/lemma_free1/gcfree1_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_greys_greyt.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_notblacks_notblackt.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_notgreys_notgreyt.con
+cic:/Marseille/GC/lemma_step/lemma_free/gcfree_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_free/updatecolor_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_mark/grey_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_mark/greynode_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_mark/grey_white.con
+cic:/Marseille/GC/lemma_step/lemma_mark/mark_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_mark/mark_ancestor.con
+cic:/Marseille/GC/lemma_step/lemma_mark/marknode_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_mark/marknode_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_mark/marknode_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_mark/mark_white.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_ancestor.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_notgreyt_notgreys.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_remove/remove_white.con
+cic:/Marseille/GC/lemma_step/lemma_step/color_node.con
+cic:/Marseille/GC/lemma_step/lemma_step/ind.con
+cic:/Marseille/GC/lemma_step/lemma_step/initcolor_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_step/trivial.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_accest_access.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_ancestor_col.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_blacks_blackt.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_nogrey.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_notaccess_notaccest.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_notfrees_notfreet.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_notgreyt_notgreys.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_nowhite.con
+cic:/Marseille/GC/lemma_step/lemma_stop/gcstop_white.con
+cic:/Marseille/GC/lib_arith/lib_minus/minus_pred.con
+cic:/Marseille/GC/lib_arith/lib_minus/pred_S_minus.con
+cic:/Marseille/GC/lib_arith/lib_plus/plus_O.con
+cic:/Marseille/GC/lib_arith/lib_plus/plus_O_O.con
+cic:/Marseille/GC/lib_arith/lib_plus/plus_pred.con
+cic:/Marseille/GC/lib_arith/lib_plus/plus_S_pred.con
+cic:/Marseille/GC/lib_arith/lib_plus/pred_plus_minus.con
+cic:/Marseille/GC/lib_arith/lib_plus/pred_plus_S.con
+cic:/Marseille/GC/lib_arith/lib_S_pred/eqnm_eqSnSm.con
+cic:/Marseille/GC/lib_arith/lib_S_pred/pred_S.con
+cic:/Marseille/GC/lib_arith/lib_S_pred/S_pred.con
+cic:/Marseille/GC/liveness/fairstr/always_exist_fairstep.con
+cic:/Marseille/GC/liveness/fairstr/always_fairstep.con
+cic:/Marseille/GC/liveness/fairstr/call_exist_grey_fair.con
+cic:/Marseille/GC/liveness/fairstr/call_gc_fair.con
+cic:/Marseille/GC/liveness/fairstr/exist_grey_node.con
+cic:/Marseille/GC/liveness/fairstr/exist_or_none.con
+cic:/Marseille/GC/liveness/fairstr/exist_update_color.con
+cic:/Marseille/GC/liveness/fairstr/exist_update_init_color.con
+cic:/Marseille/GC/liveness/fairstr/fairstr_eventually.con
+cic:/Marseille/GC/liveness/fairstr/fairstr_eventually_tl.con
+cic:/Marseille/GC/liveness/fairstr/free1_white_fair.con
+cic:/Marseille/GC/liveness/fairstr/gcfree_fair.con
+cic:/Marseille/GC/liveness/fairstr/infinitely_fairstep.con
+cic:/Marseille/GC/liveness/fairstr/marknode_fair.con
+cic:/Marseille/GC/liveness/fairstr/no_grey_but_white_fair.con
+cic:/Marseille/GC/liveness/fairstr/update_color_marknode.con
+cic:/Marseille/GC/liveness/fairstr/update_init_color.con
+cic:/Marseille/GC/liveness/liveness/always_and_inv_g_w_b.con
+cic:/Marseille/GC/liveness/liveness/and_inv.con
+cic:/Marseille/GC/liveness/liveness/card_grey_rt.con
+cic:/Marseille/GC/liveness/liveness/def_equiv.con
+cic:/Marseille/GC/liveness/liveness/liveness.con
+cic:/Marseille/GC/liveness/liveness/run_fairstr_always.con
+cic:/Marseille/GC/liveness/liveness/safe_inv_and_gwb.con
+cic:/Marseille/GC/liveness/liveness/safe_inv_gwb_mesure.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/add_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/alloc_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/equiv_def2.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/equiv_def.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/gccall_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/gcend_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/gcfree1_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/gcfree_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/gcstop_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/marknode_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nogrey_exwhite.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nogrey_exwhite_formula.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nogrey_formula.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nogrey_nowhite_formula.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/notacc_black_nomeasure_formula.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/remove_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/step_notacc_black_nogrey.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/until_no_measure.con
+cic:/Marseille/GC/liveness/notacc_black_nogrey/until_no_white.con
+cic:/Marseille/GC/liveness/notacc_init/add_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/alloc_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/fairstep_implies_gc_call.con
+cic:/Marseille/GC/liveness/notacc_init/fairstep_implies_initcol.con
+cic:/Marseille/GC/liveness/notacc_init/gccall_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/gcend_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/gcfree1_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/gcfree_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/gcstop_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/init_implies_whiteorfree.con
+cic:/Marseille/GC/liveness/notacc_init/marknode_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/notacc_black_nomeasure.con
+cic:/Marseille/GC/liveness/notacc_init/notacc_black_nomeasure_formula.con
+cic:/Marseille/GC/liveness/notacc_init/notacc_white_init.con
+cic:/Marseille/GC/liveness/notacc_init/notacc_white_init_formula.con
+cic:/Marseille/GC/liveness/notacc_init/null_measure_grey_white.con
+cic:/Marseille/GC/liveness/notacc_init/remove_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/step_idem_or_init.con
+cic:/Marseille/GC/liveness/notacc_init/step_initcolor.con
+cic:/Marseille/GC/liveness/notacc_init/until_no_measure_init.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/add_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/alloc_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/equivalent_def.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/gccall_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/gcend_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/gcfree1_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/gcfree_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/gcstop_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/mark_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/notacc_white_exgrey_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/notacc_white_exgrey_reach_formula.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/notacc_white_nogrey_eventually_free.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/notacc_white_reach_formula.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/remove_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/step_notacc_white_reach.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/until_no_grey.con
+cic:/Marseille/GC/liveness/notacc_white_ancestor/until_no_grey_without_reach.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/add_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/alloc_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/gccall_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/gcend_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/gcfree1_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/gcfree_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/gcstop_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/mark_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/notacc_white_nogrey.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/notacc_white_nogrey_formula.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/notacc_white_nogrey_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/remove_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/step_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/until_idem_or_free.con
+cic:/Marseille/GC/liveness/notacc_white_nogrey/white_notacc_nogrey_until_eventually_free.con
+cic:/Marseille/GC/liveness/notfree_notacc/addedge_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/alloc_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/always_notfree_notacces_unless_isfree.con
+cic:/Marseille/GC/liveness/notfree_notacc/free_or_notfree_notacc_nogrey.con
+cic:/Marseille/GC/liveness/notfree_notacc/gccall_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/gcend_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/gcfree1_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/gcfree_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/gcstop_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/is_free.con
+cic:/Marseille/GC/liveness/notfree_notacc/marknode_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/notfree.con
+cic:/Marseille/GC/liveness/notfree_notacc/notfree_notacces.con
+cic:/Marseille/GC/liveness/notfree_notacc/notfree_notacces_unless_isfree.con
+cic:/Marseille/GC/liveness/notfree_notacc/removeedge_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/step_notacces_t.con
+cic:/Marseille/GC/liveness/notfree_notacc/until_free_or_nogrey.con
+cic:/Marseille/GC/liveness/until_zero/always_eventually_grey_until_zero_trace.con
+cic:/Marseille/GC/liveness/until_zero/always_eventually_white_until_zero_trace.con
+cic:/Marseille/GC/liveness/until_zero/and_exist.con
+cic:/Marseille/GC/liveness/until_zero/eventually_grey_until_zero.con
+cic:/Marseille/GC/liveness/until_zero/eventually_grey_until_zero_trace.con
+cic:/Marseille/GC/liveness/until_zero/eventually_measure_until_zero.con
+cic:/Marseille/GC/liveness/until_zero/eventually_measure_until_zero_on_run.con
+cic:/Marseille/GC/liveness/until_zero/eventually_measure_until_zero_trace_bis.con
+cic:/Marseille/GC/liveness/until_zero/eventually_measure_until_zero_trace.con
+cic:/Marseille/GC/liveness/until_zero/eventually_white_until_zero.con
+cic:/Marseille/GC/liveness/until_zero/eventually_white_until_zero_trace.con
+cic:/Marseille/GC/liveness/until_zero/fairness_decrease.con
+cic:/Marseille/GC/liveness/until_zero/fairness_lt.con
+cic:/Marseille/GC/liveness/until_zero/le_measure.con
+cic:/Marseille/GC/liveness/until_zero/measure.con
+cic:/Marseille/GC/liveness/until_zero/measureO_greyO.con
+cic:/Marseille/GC/liveness/until_zero/measureO_whiteO.con
+cic:/Marseille/GC/liveness/until_zero/measure_trivial_bis.con
+cic:/Marseille/GC/liveness/until_zero/measure_trivial.con
+cic:/Marseille/GC/liveness/until_zero/measure_until_zero.con
+cic:/Marseille/GC/liveness/until_zero/measure_until_zero_on_run.con
+cic:/Marseille/GC/liveness/until_zero/none_or_one_decrease.con
+cic:/Marseille/GC/liveness/until_zero/once_until_zero.con
+cic:/Marseille/GC/liveness/until_zero/positive_measure.con
+cic:/Marseille/GC/liveness/until_zero/step_decrease.con
+cic:/Marseille/GC/liveness/until_zero/trivial_unicity_bis.con
+cic:/Marseille/GC/liveness/until_zero/trivial_unicity.con
+cic:/Marseille/GC/liveness/until_zero/until_zero.con
+cic:/Marseille/GC/logique/LTL/always_always_bis.con
+cic:/Marseille/GC/logique/LTL/always_always.con
+cic:/Marseille/GC/logique/LTL/always_always_implies_always.con
+cic:/Marseille/GC/logique/LTL/always_and_and.con
+cic:/Marseille/GC/logique/LTL/always_and_bis.con
+cic:/Marseille/GC/logique/LTL/always_and.con
+cic:/Marseille/GC/logique/LTL/always_fairstr.con
+cic:/Marseille/GC/logique/LTL/always_imp_always.con
+cic:/Marseille/GC/logique/LTL/always_implies_always.con
+cic:/Marseille/GC/logique/LTL/always_implies_always_state.con
+cic:/Marseille/GC/logique/LTL/always_implies_always_stream.con
+cic:/Marseille/GC/logique/LTL/always.ind
+cic:/Marseille/GC/logique/LTL/always_one_step_leads_to.con
+cic:/Marseille/GC/logique/LTL/always_on_run.con
+cic:/Marseille/GC/logique/LTL/always_P.con
+cic:/Marseille/GC/logique/LTL/always_trace.con
+cic:/Marseille/GC/logique/LTL/always_unless.con
+cic:/Marseille/GC/logique/LTL/and_always.con
+cic:/Marseille/GC/logique/LTL/and_always_state.con
+cic:/Marseille/GC/logique/LTL/and.con
+cic:/Marseille/GC/logique/LTL/and_state.con
+cic:/Marseille/GC/logique/LTL/enabled.ind
+cic:/Marseille/GC/logique/LTL/enabled_ind.con
+cic:/Marseille/GC/logique/LTL/eventually_implies_eventually.con
+cic:/Marseille/GC/logique/LTL/Eventually.ind
+cic:/Marseille/GC/logique/LTL/Eventually_ind.con
+cic:/Marseille/GC/logique/LTL/Eventually_permanently.con
+cic:/Marseille/GC/logique/LTL/eventually_until.con
+cic:/Marseille/GC/logique/LTL/fairness.con
+cic:/Marseille/GC/logique/LTL/fair_step.ind
+cic:/Marseille/GC/logique/LTL/fair_step_ind.con
+cic:/Marseille/GC/logique/LTL/fairstr.con
+cic:/Marseille/GC/logique/LTL/followed_until.con
+cic:/Marseille/GC/logique/LTL/head_str.con
+cic:/Marseille/GC/logique/LTL/implies.con
+cic:/Marseille/GC/logique/LTL/implies_inf_often.con
+cic:/Marseille/GC/logique/LTL/induct.con
+cic:/Marseille/GC/logique/LTL/infinitely_often.con
+cic:/Marseille/GC/logique/LTL/invariant.con
+cic:/Marseille/GC/logique/LTL/inv_clos.con
+cic:/Marseille/GC/logique/LTL/inv_implies_inf_often.con
+cic:/Marseille/GC/logique/LTL/is_always_followed.con
+cic:/Marseille/GC/logique/LTL/is_followed.con
+cic:/Marseille/GC/logique/LTL/leads_to.con
+cic:/Marseille/GC/logique/LTL/leadsto_tx_l_or.con
+cic:/Marseille/GC/logique/LTL/leads_to_via.con
+cic:/Marseille/GC/logique/LTL/ltv_equiv_ltv.con
+cic:/Marseille/GC/logique/LTL/next.con
+cic:/Marseille/GC/logique/LTL/none_or_one_step.ind
+cic:/Marseille/GC/logique/LTL/none_or_one_step_ind.con
+cic:/Marseille/GC/logique/LTL/once_always.con
+cic:/Marseille/GC/logique/LTL/once_equiv_once.con
+cic:/Marseille/GC/logique/LTL/once_eventually.con
+cic:/Marseille/GC/logique/LTL/once_until.con
+cic:/Marseille/GC/logique/LTL/one_step_leads_to.con
+cic:/Marseille/GC/logique/LTL/run.con
+cic:/Marseille/GC/logique/LTL/safe_and.con
+cic:/Marseille/GC/logique/LTL/safe_and_state.con
+cic:/Marseille/GC/logique/LTL/safe.con
+cic:/Marseille/GC/logique/LTL/safeP_safeQ.con
+cic:/Marseille/GC/logique/LTL/safeP_safeQ_stream.con
+cic:/Marseille/GC/logique/LTL/safety.con
+cic:/Marseille/GC/logique/LTL/state2stream_formula.con
+cic:/Marseille/GC/logique/LTL/state_formula.con
+cic:/Marseille/GC/logique/LTL/step.ind
+cic:/Marseille/GC/logique/LTL/step_ind.con
+cic:/Marseille/GC/logique/LTL/stream_formula.con
+cic:/Marseille/GC/logique/LTL/stream.ind
+cic:/Marseille/GC/logique/LTL/strong_fairstr.con
+cic:/Marseille/GC/logique/LTL/strong_fairstr_implies_fairstr.con
+cic:/Marseille/GC/logique/LTL/tl_str.con
+cic:/Marseille/GC/logique/LTL/trace.con
+cic:/Marseille/GC/logique/LTL/unless.ind
+cic:/Marseille/GC/logique/LTL/until_eventually.con
+cic:/Marseille/GC/logique/LTL/until_implies_until.con
+cic:/Marseille/GC/logique/LTL/until_implies_until_state.con
+cic:/Marseille/GC/logique/LTL/until_implies_until_stream.con
+cic:/Marseille/GC/logique/LTL/until.ind
+cic:/Marseille/GC/logique/LTL/until_ind.con
+cic:/Marseille/GC/logique/LTL/until_or.con
+cic:/Marseille/GC/logique/LTL/until_trans.con
+cic:/Marseille/GC/logique/well_founded/wf_leadsto.con
+cic:/Marseille/GC/logique/well_founded/wf_leadsto_rule.con
+cic:/Marseille/GC/mesure/black_card/add_black.con
+cic:/Marseille/GC/mesure/black_card/alloc_black.con
+cic:/Marseille/GC/mesure/black_card/ex_add_black.con
+cic:/Marseille/GC/mesure/black_card/ex_alloc_black.con
+cic:/Marseille/GC/mesure/black_card/ex_gccall_black.con
+cic:/Marseille/GC/mesure/black_card/ex_gcend_black.con
+cic:/Marseille/GC/mesure/black_card/ex_gcfree1_black.con
+cic:/Marseille/GC/mesure/black_card/ex_gcfree_black.con
+cic:/Marseille/GC/mesure/black_card/ex_gcstop_black.con
+cic:/Marseille/GC/mesure/black_card/ex_init_black.con
+cic:/Marseille/GC/mesure/black_card/ex_marknode_black.con
+cic:/Marseille/GC/mesure/black_card/ex_remove_black.con
+cic:/Marseille/GC/mesure/black_card/gcend_black.con
+cic:/Marseille/GC/mesure/black_card/gcfree1_black.con
+cic:/Marseille/GC/mesure/black_card/gcfree_black.con
+cic:/Marseille/GC/mesure/black_card/gcstop_black.con
+cic:/Marseille/GC/mesure/black_card/greynode_black.con
+cic:/Marseille/GC/mesure/black_card/init_black.con
+cic:/Marseille/GC/mesure/black_card/initcol_black.con
+cic:/Marseille/GC/mesure/black_card/remove_black.con
+cic:/Marseille/GC/mesure/grey_card/add_grey.con
+cic:/Marseille/GC/mesure/grey_card/alloc_grey.con
+cic:/Marseille/GC/mesure/grey_card/card_grey_marknode.con
+cic:/Marseille/GC/mesure/grey_card/ex_add_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_alloc_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_gccall_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_gcend_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_gcfree1_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_gcfree_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_gcstop_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_init_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_marknode_grey.con
+cic:/Marseille/GC/mesure/grey_card/ex_remove_grey.con
+cic:/Marseille/GC/mesure/grey_card/gcend_grey.con
+cic:/Marseille/GC/mesure/grey_card/gcfree1_grey.con
+cic:/Marseille/GC/mesure/grey_card/gcfree_grey.con
+cic:/Marseille/GC/mesure/grey_card/gcstop_grey.con
+cic:/Marseille/GC/mesure/grey_card/greynode_card_white.con
+cic:/Marseille/GC/mesure/grey_card/initcol_grey.con
+cic:/Marseille/GC/mesure/grey_card/init_grey.con
+cic:/Marseille/GC/mesure/grey_card/remove_grey.con
+cic:/Marseille/GC/mesure/mesure/add_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/add_mesure.con
+cic:/Marseille/GC/mesure/mesure/alloc_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/alloc_mesure.con
+cic:/Marseille/GC/mesure/mesure/gccall_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/gccall_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcend_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcend_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcfree1_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcfree1_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcfree_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcfree_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcstop_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/gcstop_mesure.con
+cic:/Marseille/GC/mesure/mesure/init_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/init_mesure.con
+cic:/Marseille/GC/mesure/mesure/marknode_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/marknode_mesure.con
+cic:/Marseille/GC/mesure/mesure/mesure.ind
+cic:/Marseille/GC/mesure/mesure/mesure_ind.con
+cic:/Marseille/GC/mesure/mesure/remove_ex_mesure.con
+cic:/Marseille/GC/mesure/mesure/remove_mesure.con
+cic:/Marseille/GC/mesure/parameters_card/card_color.con
+cic:/Marseille/GC/mesure/parameters_card/card_sons.ind
+cic:/Marseille/GC/mesure/parameters_card/card_sons_ind.con
+cic:/Marseille/GC/mesure/parameters_card/exist_updated_heap.con
+cic:/Marseille/GC/mesure/parameters_card/grey_white_sons.ind
+cic:/Marseille/GC/mesure/parameters_card/grey_white_sons_ind.con
+cic:/Marseille/GC/mesure/parameters_card/grey_white_sons_rec.con
+cic:/Marseille/GC/mesure/parameters_card/grey_white_sons_rect.con
+cic:/Marseille/GC/mesure/parameters_card/is_true.con
+cic:/Marseille/GC/mesure/parameters_card/is_white.con
+cic:/Marseille/GC/mesure/parameters_card/not_true_and_white.con
+cic:/Marseille/GC/mesure/parameters_card/update_heap.con
+cic:/Marseille/GC/mesure/safe_card/always_card_black.con
+cic:/Marseille/GC/mesure/safe_card/always_card_grey.con
+cic:/Marseille/GC/mesure/safe_card/always_card_white.con
+cic:/Marseille/GC/mesure/safe_card/always_gwb.con
+cic:/Marseille/GC/mesure/safe_card/always_mesure.con
+cic:/Marseille/GC/mesure/safe_card/conj_inv.con
+cic:/Marseille/GC/mesure/safe_card/g_w_b.con
+cic:/Marseille/GC/mesure/safe_card/init_conj_inv.con
+cic:/Marseille/GC/mesure/safe_card/init_inv_conj.con
+cic:/Marseille/GC/mesure/safe_card/init_inv_conj_mes.con
+cic:/Marseille/GC/mesure/safe_card/invariant_conj_inv.con
+cic:/Marseille/GC/mesure/safe_card/invariant_inv_conj.con
+cic:/Marseille/GC/mesure/safe_card/invariant_inv_conj_mes.con
+cic:/Marseille/GC/mesure/safe_card/inv_black_card.con
+cic:/Marseille/GC/mesure/safe_card/inv_conj.con
+cic:/Marseille/GC/mesure/safe_card/inv_conj_mes.con
+cic:/Marseille/GC/mesure/safe_card/safe_card_black.con
+cic:/Marseille/GC/mesure/safe_card/safe_card_grey.con
+cic:/Marseille/GC/mesure/safe_card/safe_card_white.con
+cic:/Marseille/GC/mesure/safe_card/safe_conj_inv.con
+cic:/Marseille/GC/mesure/safe_card/safe_gwb.con
+cic:/Marseille/GC/mesure/safe_card/safe_inv_conj.con
+cic:/Marseille/GC/mesure/safe_card/safe_inv_conj_mes.con
+cic:/Marseille/GC/mesure/safe_card/safe_mesure.con
+cic:/Marseille/GC/mesure/safe_card/step_black_card.con
+cic:/Marseille/GC/mesure/safe_card/step_ex_mesure.con
+cic:/Marseille/GC/mesure/safe_card/step_grey_card.con
+cic:/Marseille/GC/mesure/safe_card/step_mesure.con
+cic:/Marseille/GC/mesure/safe_card/step_white_card.con
+cic:/Marseille/GC/mesure/unicite_mes/measure_unicity.con
+cic:/Marseille/GC/mesure/white_card/add_white.con
+cic:/Marseille/GC/mesure/white_card/alloc_white.con
+cic:/Marseille/GC/mesure/white_card/card_white_marknode.con
+cic:/Marseille/GC/mesure/white_card/ex_add_white.con
+cic:/Marseille/GC/mesure/white_card/ex_alloc_white.con
+cic:/Marseille/GC/mesure/white_card/ex_gccall_white.con
+cic:/Marseille/GC/mesure/white_card/ex_gcend_white.con
+cic:/Marseille/GC/mesure/white_card/ex_gcfree1_white.con
+cic:/Marseille/GC/mesure/white_card/ex_gcfree_white.con
+cic:/Marseille/GC/mesure/white_card/ex_gcstop_white.con
+cic:/Marseille/GC/mesure/white_card/ex_init_white.con
+cic:/Marseille/GC/mesure/white_card/ex_marknode_white.con
+cic:/Marseille/GC/mesure/white_card/ex_remove_white.con
+cic:/Marseille/GC/mesure/white_card/gcend_white.con
+cic:/Marseille/GC/mesure/white_card/gcfree1_white.con
+cic:/Marseille/GC/mesure/white_card/gcfree_white.con
+cic:/Marseille/GC/mesure/white_card/gcstop_white.con
+cic:/Marseille/GC/mesure/white_card/greynode_card_white.con
+cic:/Marseille/GC/mesure/white_card/initcol_white.con
+cic:/Marseille/GC/mesure/white_card/init_white.con
+cic:/Marseille/GC/mesure/white_card/remove_white.con
+cic:/Marseille/GC/reachable/reachable/accessible.con
+cic:/Marseille/GC/reachable/reachable/reachable.ind
+cic:/Marseille/GC/reachable/reachable/reachable_ind.con
+cic:/Marseille/GC/reachable/reachable/reach_acc.con
+cic:/Marseille/GC/reachable/reachable/reach_notacc.con
+cic:/Marseille/GC/reachable/reachable/reach_true_reach.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_addedge.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_alloc.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_gccall.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_gcend.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_gcfree1.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_gcfree.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_gcstop.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_init.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_marknode.con
+cic:/Marseille/GC/safety/accnotfree/acc_imp_notfree_removeedge.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/black_grey_node.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/imp1.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/imp2.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/initcolor_imp_noblack.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_addedge.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_alloc.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gccall.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gcend.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gcfree1.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gcfree_bis.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gcfree.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_gcstop.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_init.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_marknode.con
+cic:/Marseille/GC/safety/noedgeblacktowhite/no_edge_black_to_white_removeedge.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_addedge.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_alloc.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_gccall.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_gcend.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_gcfree1.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_gcfree.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_gcstop.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_init.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_marknode.con
+cic:/Marseille/GC/safety/nogreyaccnblackn/nogrey_accn_imp_blackn_removeedge.con
+cic:/Marseille/GC/safety/rtgreyorblack/black_grey_node.con
+cic:/Marseille/GC/safety/rtgreyorblack/free_white_node.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_addedge.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_alloc.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_gccall.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_gcend.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_gcfree1.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_gcfree.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_gcstop.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_init.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_marknode.con
+cic:/Marseille/GC/safety/rtgreyorblack/rt_grey_or_black_removeedge.con
+cic:/Marseille/GC/safety/safety/acc_imp_notfree_step.con
+cic:/Marseille/GC/safety/safety/always_invariant_safety_and.con
+cic:/Marseille/GC/safety/safety/always_inv_safety.con
+cic:/Marseille/GC/safety/safety/always_nogrey_accn_imp_blackn.con
+cic:/Marseille/GC/safety/safety/always_sweep_no_grey.con
+cic:/Marseille/GC/safety/safety/implies_safety_prop.con
+cic:/Marseille/GC/safety/safety/init_invariant_safe.con
+cic:/Marseille/GC/safety/safety/invariant_safe.con
+cic:/Marseille/GC/safety/safety/invariant_safety_and.con
+cic:/Marseille/GC/safety/safety/invariant_safety.con
+cic:/Marseille/GC/safety/safety/inv_invariant_safety.con
+cic:/Marseille/GC/safety/safety/inv_safety_prop.con
+cic:/Marseille/GC/safety/safety/no_edge_black_to_white_inv.con
+cic:/Marseille/GC/safety/safety/no_edge_black_to_white_step.con
+cic:/Marseille/GC/safety/safety/nogrey_accn_imp_blackn_step.con
+cic:/Marseille/GC/safety/safety/rt_grey_or_black_inv.con
+cic:/Marseille/GC/safety/safety/rt_grey_or_black_step.con
+cic:/Marseille/GC/safety/safety/safe_sweep_no_greys.con
+cic:/Marseille/GC/safety/safety/safety_prop.con
+cic:/Marseille/GC/safety/safety/safety_prop_safe.con
+cic:/Marseille/GC/safety/safety/sweep_no_greys_inv.con
+cic:/Marseille/GC/safety/safety/sweep_no_greys_step.con
+cic:/Marseille/GC/safety/sweepnogrey/absurd.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_addedge.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_alloc.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_gccall.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_gcend.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_gcfree1.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_gcfree.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_gcstop.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_init.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_marknode.con
+cic:/Marseille/GC/safety/sweepnogrey/sweep_no_greys_removeedge.con
projects / helm.git / blobdiff