Index of /xml/Sophia-Antipolis/Float/Faux

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pos_eq_bool_correct.con.types.xml.gz2004-04-09 00:23 15K 
[ ]Zmin_sym.con.types.xml.gz2004-04-09 00:23 12K 
[ ]Z_eq_bool_correct.con.types.xml.gz2004-04-09 00:23 12K 
[ ]RmaxRmult.con.types.xml.gz2004-04-09 00:23 11K 
[ ]ZmaxSym.con.types.xml.gz2004-04-09 00:23 8.7K 
[ ]lt_Zlt_inv_subproof.con.body.xml.gz2004-04-09 00:23 8.5K 
[ ]Zcompare_EGAL.con.types.xml.gz2004-04-09 00:23 8.3K 
[ ]min_or.con.types.xml.gz2004-04-09 00:23 8.3K 
[ ]lt_Zlt_inv_subproof0.con.body.xml.gz2004-04-09 00:23 8.2K 
[ ]INDEX2005-07-05 08:12 8.1K 
[ ]pos_eq_bool_correct.con.body.xml.gz2004-04-09 00:23 8.1K 
[ ]Rmult_IZR.con.types.xml.gz2004-04-09 00:23 7.7K 
[ ]Z_eq_bool_correct.con.body.xml.gz2004-04-09 00:23 7.3K 
[ ]Zle_Zminus_ZERO_subproof.con.body.xml.gz2004-04-09 00:23 7.2K 
[ ]ZleLe_subproof.con.body.xml.gz2004-04-09 00:23 7.2K 
[ ]inject_nat_convert.con.types.xml.gz2004-04-09 00:23 7.1K 
[ ]Zlt_mult_ZERO.con.types.xml.gz2004-04-09 00:23 6.8K 
[ ]Zlt_Zminus_ZERO_subproof.con.body.xml.gz2004-04-09 00:23 6.8K 
[ ]lt_Zlt_inv_subproof.con.types.xml.gz2004-04-09 00:23 6.7K 
[ ]Zmin_Zmax.con.types.xml.gz2004-04-09 00:23 6.6K 
[ ]Rmult_IZR.con.body.xml.gz2004-04-09 00:23 6.3K 
[ ]RmaxSym.con.types.xml.gz2004-04-09 00:23 6.3K 
[ ]ZmaxSym.con.body.xml.gz2004-04-09 00:23 6.2K 
[ ]Zle_Zminus_ZERO_subproof.con.types.xml.gz2004-04-09 00:23 6.0K 
[ ]Zpred_Zle_Zabs_intro_subproof.con.body.xml.gz2004-04-09 00:23 5.8K 
[ ]lt_Zlt_inv_subproof0.con.types.xml.gz2004-04-09 00:23 5.8K 
[ ]min_or.con.body.xml.gz2004-04-09 00:23 5.8K 
[ ]Zlt_Zabs_intro.con.types.xml.gz2004-04-09 00:23 5.7K 
[ ]RmaxRmult.con.body.xml.gz2004-04-09 00:23 5.6K 
[ ]Zlt_Zminus_ZERO_subproof.con.types.xml.gz2004-04-09 00:23 5.6K 
[ ]Zmin_sym.con.body.xml.gz2004-04-09 00:23 5.6K 
[ ]inject_nat_convert.con.body.xml.gz2004-04-09 00:23 5.5K 
[ ]ZleAbs_subproof0.con.body.xml.gz2004-04-09 00:23 5.4K 
[ ]NotZmultZero.con.types.xml.gz2004-04-09 00:23 5.4K 
[ ]Zcompare_EGAL.con.body.xml.gz2004-04-09 00:23 5.3K 
[ ]Int_part_INR.con.types.xml.gz2004-04-09 00:23 5.3K 
[ ]lt_comp_mult.con.types.xml.gz2004-04-09 00:23 5.3K 
[ ]ZleLe_subproof.con.types.xml.gz2004-04-09 00:23 5.2K 
[ ]absolu_comp_mult.con.types.xml.gz2004-04-09 00:23 5.2K 
[ ]INR_inv.con.body.xml.gz2004-04-09 00:23 4.9K 
[ ]Zlt_absolu_subproof.con.body.xml.gz2004-04-09 00:23 4.9K 
[ ]Zle_Zopp_subproof.con.body.xml.gz2004-04-09 00:23 4.7K 
[ ]Zlt_Zabs_inv2.con.types.xml.gz2004-04-09 00:23 4.6K 
[ ]Zle_Zopp_Inv_subproof.con.body.xml.gz2004-04-09 00:23 4.6K 
[ ]Zle_Zopp_Inv_subproof0.con.body.xml.gz2004-04-09 00:23 4.5K 
[ ]Zpred_Zle_Zabs_intro_subproof.con.types.xml.gz2004-04-09 00:23 4.5K 
[ ]Zlt_Zopp_Inv_subproof.con.body.xml.gz2004-04-09 00:23 4.5K 
[ ]INR_inv.con.types.xml.gz2004-04-09 00:23 4.4K 
[ ]Zmin_Zmax.con.body.xml.gz2004-04-09 00:23 4.4K 
[ ]lt_comp_mult_l.con.types.xml.gz2004-04-09 00:23 4.4K 
[ ]Zabs_Zs_subproof.con.body.xml.gz2004-04-09 00:23 4.4K 
[ ]NotZmultZero.con.body.xml.gz2004-04-09 00:23 4.3K 
[ ]RmaxAbs.con.body.xml.gz2004-04-09 00:23 4.3K 
[ ]ZleAbs_subproof.con.body.xml.gz2004-04-09 00:23 4.2K 
[ ]Int_part_INR.con.body.xml.gz2004-04-09 00:23 4.2K 
[ ]Zabs_Zs.con.types.xml.gz2004-04-09 00:23 4.2K 
[ ]ZleAbs_subproof0.con.types.xml.gz2004-04-09 00:23 4.1K 
[ ]lt_comp_mult.con.body.xml.gz2004-04-09 00:23 4.0K 
[ ]Zabs_Zs_subproof.con.types.xml.gz2004-04-09 00:23 3.9K 
[ ]Zabs_Zmult.con.types.xml.gz2004-04-09 00:23 3.9K 
[ ]Zminus_n_predm.con.types.xml.gz2004-04-09 00:23 3.9K 
[ ]Zlt_absolu_subproof.con.types.xml.gz2004-04-09 00:23 3.8K 
[ ]inj_abs.con.types.xml.gz2004-04-09 00:23 3.8K 
[ ]Zabs_Zs.con.body.xml.gz2004-04-09 00:23 3.8K 
[ ]RmaxAbs.con.types.xml.gz2004-04-09 00:23 3.8K 
[ ]Zlt_Zopp.con.types.xml.gz2004-04-09 00:23 3.7K 
[ ]Zle_Zopp_subproof.con.types.xml.gz2004-04-09 00:23 3.7K 
[ ]lte_comp_mult.con.types.xml.gz2004-04-09 00:23 3.7K 
[ ]Zle_Zopp_Inv_subproof.con.types.xml.gz2004-04-09 00:23 3.7K 
[ ]Zlt_Zopp_Inv_subproof.con.types.xml.gz2004-04-09 00:23 3.6K 
[ ]natEq.con.body.xml.gz2004-04-09 00:23 3.6K 
[ ]Zle_Zopp_Inv_subproof0.con.types.xml.gz2004-04-09 00:23 3.6K 
[ ]RmaxSym.con.body.xml.gz2004-04-09 00:23 3.4K 
[ ]Zlt_Zabs_Zpred.con.body.xml.gz2004-04-09 00:23 3.4K 
[ ]ZleAbs_subproof.con.types.xml.gz2004-04-09 00:23 3.3K 
[ ]convert_not_O.con.types.xml.gz2004-04-09 00:23 3.3K 
[ ]NconvertO.con.types.xml.gz2004-04-09 00:23 3.3K 
[ ]Zlt_1_O_subproof.con.body.xml.gz2004-04-09 00:23 3.3K 
[ ]Zlt_Zabs_Zpred.con.types.xml.gz2004-04-09 00:23 3.2K 
[ ]lt_minus_inv.con.types.xml.gz2004-04-09 00:23 3.2K 
[ ]absolu_Zs_neg_subproof.con.types.xml.gz2004-04-09 00:23 3.1K 
[ ]Zopp_Zpred_Zs.con.types.xml.gz2004-04-09 00:23 3.1K 
[ ]Zpred_Zopp_Zs.con.types.xml.gz2004-04-09 00:23 3.1K 
[ ]absolu_Zs_neg_subproof.con.body.xml.gz2004-04-09 00:23 3.1K 
[ ]lt_minus_inv.con.body.xml.gz2004-04-09 00:23 3.0K 
[ ]absolu_Zs.con.types.xml.gz2004-04-09 00:23 2.9K 
[ ]minus_inv_lt_aux.con.types.xml.gz2004-04-09 00:23 2.9K 
[ ]Zlt_1_O_subproof.con.types.xml.gz2004-04-09 00:23 2.9K 
[ ]Int_part_IZR.con.types.xml.gz2004-04-09 00:23 2.9K 
[ ]Zminus_n_predm.con.body.xml.gz2004-04-09 00:23 2.8K 
[ ]minus_le.con.body.xml.gz2004-04-09 00:23 2.8K 
[ ]mult_eq_inv.con.types.xml.gz2004-04-09 00:23 2.8K 
[ ]ZleAbs.con.body.xml.gz2004-04-09 00:23 2.8K 
[ ]lt_comp_mult_l.con.body.xml.gz2004-04-09 00:23 2.8K 
[ ]convert_not_O.con.body.xml.gz2004-04-09 00:23 2.7K 
[ ]inj_abs.con.body.xml.gz2004-04-09 00:23 2.7K 
[ ]absolu_Zs_neg.con.body.xml.gz2004-04-09 00:23 2.6K 
[ ]Zlt_Zopp.con.body.xml.gz2004-04-09 00:23 2.6K 
[ ]Zlt_Zabs_intro.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]absolu_Zs.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]mult_eq_inv.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]Int_part_IZR.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]Rlt_RinvDouble.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]IZR_zero_r.con.types.xml.gz2004-04-09 00:23 2.5K 
[ ]NconvertO.con.body.xml.gz2004-04-09 00:23 2.5K 
[ ]Rlt_RinvDouble.con.types.xml.gz2004-04-09 00:23 2.5K 
[ ]ptonat_def1.con.types.xml.gz2004-04-09 00:23 2.5K 
[ ]RmaxLess2.con.types.xml.gz2004-04-09 00:23 2.4K 
[ ]RmaxLess1.con.types.xml.gz2004-04-09 00:23 2.4K 
[ ]Zle_Zabs.con.types.xml.gz2004-04-09 00:23 2.4K 
[ ]lte_comp_mult.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]lt_le_pred.con.types.xml.gz2004-04-09 00:23 2.3K 
[ ]absolu_comp_mult.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]Rltdouble.con.types.xml.gz2004-04-09 00:23 2.3K 
[ ]Zlt_absolu.con.types.xml.gz2004-04-09 00:23 2.3K 
[ ]Int_part_IZR_subproof.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]absolu_lt_nz.con.types.xml.gz2004-04-09 00:23 2.3K 
[ ]minus_le.con.types.xml.gz2004-04-09 00:23 2.3K 
[ ]Zpred_Zopp_Zs.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]Zopp_Zpred_Zs.con.body.xml.gz2004-04-09 00:23 2.3K 
[ ]Rledouble.con.types.xml.gz2004-04-09 00:23 2.2K 
[ ]Zlt_mult_ZERO.con.body.xml.gz2004-04-09 00:23 2.2K 
[ ]ZmaxLe1.con.types.xml.gz2004-04-09 00:23 2.2K 
[ ]ZleAbs.con.types.xml.gz2004-04-09 00:23 2.2K 
[ ]absolu_Zs_neg.con.types.xml.gz2004-04-09 00:23 2.2K 
[ ]Rltdouble.con.body.xml.gz2004-04-09 00:23 2.1K 
[ ]IZR_zero_r.con.body.xml.gz2004-04-09 00:23 2.1K 
[ ]Rledouble.con.body.xml.gz2004-04-09 00:23 2.1K 
[ ]Int_part_IZR_subproof.con.types.xml.gz2004-04-09 00:23 2.1K 
[ ]NEq_INR.con.body.xml.gz2004-04-09 00:23 2.0K 
[ ]lt_le_pred.con.body.xml.gz2004-04-09 00:23 2.0K 
[ ]INR_lt_nm.con.body.xml.gz2004-04-09 00:23 2.0K 
[ ]NEq_INR.con.types.xml.gz2004-04-09 00:23 2.0K 
[ ]Zle_Zabs.con.body.xml.gz2004-04-09 00:23 1.9K 
[ ]Zabs_Zmult.con.body.xml.gz2004-04-09 00:23 1.9K 
[ ]Zmax_le2.con.types.xml.gz2004-04-09 00:23 1.9K 
[ ]minus_inv_lt_aux.con.body.xml.gz2004-04-09 00:23 1.9K 
[ ]Zlt_absolu.con.body.xml.gz2004-04-09 00:23 1.9K 
[ ]Zlt_Zabs_inv2.con.body.xml.gz2004-04-09 00:23 1.8K 
[ ]Rabsolu_Zabs.con.types.xml.gz2004-04-09 00:23 1.8K 
[ ]Zlt_not_eq_rev_subproof.con.body.xml.gz2004-04-09 00:23 1.8K 
[ ]Zlt_not_eq_subproof.con.body.xml.gz2004-04-09 00:23 1.8K 
[ ]Zabs_intro.con.types.xml.gz2004-04-09 00:23 1.8K 
[ ]Zmin_le1.con.types.xml.gz2004-04-09 00:23 1.7K 
[ ]INR_lt_nm.con.types.xml.gz2004-04-09 00:23 1.7K 
[ ]Zle_abs.con.types.xml.gz2004-04-09 00:23 1.7K 
[ ]Zle_abs.con.body.xml.gz2004-04-09 00:23 1.7K 
[ ]ZmaxLe1.con.body.xml.gz2004-04-09 00:23 1.7K 
[ ]Zabs_eq_opp.con.types.xml.gz2004-04-09 00:23 1.7K 
[ ]inj_pred.con.body.xml.gz2004-04-09 00:23 1.7K 
[ ]inj_pred.con.types.xml.gz2004-04-09 00:23 1.7K 
[ ]ptonat_def1.con.body.xml.gz2004-04-09 00:23 1.6K 
[ ]Zlt_not_eq_rev_subproof.con.types.xml.gz2004-04-09 00:23 1.6K 
[ ]Zlt_not_eq_subproof.con.types.xml.gz2004-04-09 00:23 1.6K 
[ ]lt_Rlt.con.body.xml.gz2004-04-09 00:23 1.5K 
[ ]lt_Zlt_inv.con.body.xml.gz2004-04-09 00:23 1.5K 
[ ]lt_next.con.types.xml.gz2004-04-09 00:23 1.5K 
[ ]absolu_lt_nz.con.body.xml.gz2004-04-09 00:23 1.5K 
[ ]Zle_Zmult_comp_r.con.body.xml.gz2004-04-09 00:23 1.5K 
[ ]Zlt_Zabs_inv1.con.body.xml.gz2004-04-09 00:23 1.4K 
[ ]Zle_Zabs_inv1.con.body.xml.gz2004-04-09 00:23 1.4K 
[ ]Zabs_absolu.con.types.xml.gz2004-04-09 00:23 1.4K 
[ ]Rle_Rinv.con.body.xml.gz2004-04-09 00:23 1.4K 
[ ]Rabsolu_Zabs.con.body.xml.gz2004-04-09 00:23 1.4K 
[ ]Rle_Rinv.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]lt_Rlt.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]lt_Zlt_inv.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]Zle_Zmult_comp_r.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]Zlt_Zabs_inv1.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]Zle_Zabs_inv1.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]lt_next.con.body.xml.gz2004-04-09 00:23 1.3K 
[ ]Rabsolu_left1.con.body.xml.gz2004-04-09 00:23 1.3K 
[ ]Zlt_next.con.types.xml.gz2004-04-09 00:23 1.3K 
[ ]NEq_INR1.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Zle_mult_gen.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]not_O_lt.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]IZR_inv.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]Zlt_next.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]RmaxLess2.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]absolu_Zopp.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Zabs_eq_opp.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]Zmin_le1.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]Rle_IZR.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]le_mult_anti_compatibility.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]Zlt_mult_simpl_l.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]le_next.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Zabs_Zopp.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]le_mult_anti_compatibility.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Rabsolu_left1.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]RmaxLess1.con.body.xml.gz2004-04-09 00:23 1.2K 
[ ]Zle_next.con.types.xml.gz2004-04-09 00:23 1.2K 
[ ]Zle_mult_gen.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]Zmax_le2.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]Zle_next.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]NEq_INRO.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]Rle_IZR.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]lt_mult_anti_compatibility.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]le_next.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]Zabs_absolu.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]Zmin_Zle.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]pos_eq_bool.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]lt_comp_mult_r.con.body.xml.gz2004-04-09 00:23 1.1K 
[ ]lt_comp_mult_r.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]le_Rle.con.types.xml.gz2004-04-09 00:23 1.1K 
[ ]le_Rle.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Rlt_IZR.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]Rlt_IZR.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]NEq_INR1.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]ZleLe.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]absolu_INR.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]lt_mult_anti_compatibility.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]Zle_Zmult_comp_l.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zabs_intro.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zle_Zabs_inv2.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Z_eq_bool.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]IZR_inv.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]Zlt_Rlt.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]not_O_lt.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Rle_INR.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zle_Rle.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]inject_nat_eq.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zlt_mult_simpl_l.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]minus_minus.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]NEq_INRO.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zle_Zopp_Inv.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]minus_inv_lt.con.body.xml.gz2004-04-09 00:23 1.0K 
[ ]Zle_Zopp.con.types.xml.gz2004-04-09 00:23 1.0K 
[ ]ZleLe.con.types.xml.gz2004-04-09 00:23 969  
[ ]minus_inv_lt.con.types.xml.gz2004-04-09 00:23 950  
[ ]Rlt_Rminus_ZERO.con.types.xml.gz2004-04-09 00:23 949  
[ ]absolu_INR.con.body.xml.gz2004-04-09 00:23 945  
[ ]Zle_n_Zpred.con.body.xml.gz2004-04-09 00:23 932  
[ ]Rle_INR.con.types.xml.gz2004-04-09 00:23 930  
[ ]Zle_Zopp.con.body.xml.gz2004-04-09 00:23 926  
[ ]Zlt_Rlt.con.types.xml.gz2004-04-09 00:23 923  
[ ]Zle_Zmult_comp_l.con.types.xml.gz2004-04-09 00:23 923  
[ ]Zle_Rle.con.types.xml.gz2004-04-09 00:23 923  
[ ]Zle_ZERO_Zabs.con.types.xml.gz2004-04-09 00:23 920  
[ ]Zle_Zabs_inv2.con.types.xml.gz2004-04-09 00:23 918  
[ ]Zle_Zopp_Inv.con.types.xml.gz2004-04-09 00:23 907  
[ ]Zle_Zpred_Zpred.con.body.xml.gz2004-04-09 00:23 906  
[ ]minus_minus.con.types.xml.gz2004-04-09 00:23 900  
[ ]Zlt_not_eq_rev.con.body.xml.gz2004-04-09 00:23 900  
[ ]Rlt_INR1.con.types.xml.gz2004-04-09 00:23 900  
[ ]Zlt_not_eq.con.body.xml.gz2004-04-09 00:23 892  
[ ]Rlt_INR1.con.body.xml.gz2004-04-09 00:23 873  
[ ]Rlt_Rminus_ZERO.con.body.xml.gz2004-04-09 00:23 854  
[ ]NEq_IZRO.con.types.xml.gz2004-04-09 00:23 850  
[ ]Rle_IZR1.con.body.xml.gz2004-04-09 00:23 840  
[ ]Rlt_IZR1.con.body.xml.gz2004-04-09 00:23 839  
[ ]inject_nat_eq.con.types.xml.gz2004-04-09 00:23 837  
[ ]NEq_IZRO.con.body.xml.gz2004-04-09 00:23 832  
[ ]Zle_Zpred_Zpred.con.types.xml.gz2004-04-09 00:23 826  
[ ]Zmin_Zle.con.body.xml.gz2004-04-09 00:23 824  
[ ]Zlt_Zminus_ZERO.con.types.xml.gz2004-04-09 00:23 823  
[ ]Zle_Zminus_ZERO.con.types.xml.gz2004-04-09 00:23 823  
[ ]notEqLt.con.body.xml.gz2004-04-09 00:23 816  
[ ]Zlt_not_eq_rev.con.types.xml.gz2004-04-09 00:23 816  
[ ]Zpred_Zle_Zabs_intro.con.body.xml.gz2004-04-09 00:23 814  
[ ]Rlt2.con.types.xml.gz2004-04-09 00:23 814  
[ ]Zlt_not_eq.con.types.xml.gz2004-04-09 00:23 806  
[ ]min_n_0.con.types.xml.gz2004-04-09 00:23 800  
[ ]Zlt_Zminus_ZERO.con.body.xml.gz2004-04-09 00:23 800  
[ ]Zle_Zminus_ZERO.con.body.xml.gz2004-04-09 00:23 800  
[ ]Zlt_Zopp_Inv.con.body.xml.gz2004-04-09 00:23 799  
[ ]Zlt_ZERO_Zle_ONE.con.body.xml.gz2004-04-09 00:23 797  
[ ]Zle_n_Zpred.con.types.xml.gz2004-04-09 00:23 793  
[ ]Rlt2.con.body.xml.gz2004-04-09 00:23 792  
[ ]Zlt_Zopp_Inv.con.types.xml.gz2004-04-09 00:23 789  
[ ]absolu_Zopp.con.body.xml.gz2004-04-09 00:23 787  
[ ]Rle_IZRO.con.body.xml.gz2004-04-09 00:23 776  
[ ]Zle_Zpred_Zlt.con.body.xml.gz2004-04-09 00:23 768  
[ ]Zpower_nat_1.con.types.xml.gz2004-04-09 00:23 764  
[ ]Zabs_Zopp.con.body.xml.gz2004-04-09 00:23 763  
[ ]Rlt_IZRO.con.body.xml.gz2004-04-09 00:23 762  
[ ]Rlt_IZR1.con.types.xml.gz2004-04-09 00:23 753  
[ ]Rle_IZR1.con.types.xml.gz2004-04-09 00:23 753  
[ ]Zpred_Zle_Zabs_intro.con.types.xml.gz2004-04-09 00:23 750  
[ ]Zle_Zpred_Zlt.con.types.xml.gz2004-04-09 00:23 737  
[ ]Zlt_ZERO_Zle_ONE.con.types.xml.gz2004-04-09 00:23 728  
[ ]notEqLt.con.types.xml.gz2004-04-09 00:23 721  
[ ]Zle_Zpred_inv.con.body.xml.gz2004-04-09 00:23 720  
[ ]Rle_IZRO.con.types.xml.gz2004-04-09 00:23 707  
[ ]Zle_Zpred.con.body.xml.gz2004-04-09 00:23 705  
[ ]Zle_ZERO_Zabs.con.body.xml.gz2004-04-09 00:23 704  
[ ]Zpower_nat_O.con.types.xml.gz2004-04-09 00:23 701  
[ ]Zmin_le2.con.types.xml.gz2004-04-09 00:23 698  
[ ]Zmax_le1.con.types.xml.gz2004-04-09 00:23 698  
[ ]Zmax_le1.con.body.xml.gz2004-04-09 00:23 696  
[ ]Rlt_IZRO.con.types.xml.gz2004-04-09 00:23 695  
[ ]Zmin_le2.con.body.xml.gz2004-04-09 00:23 692  
[ ]Zle_Zpred_inv.con.types.xml.gz2004-04-09 00:23 676  
[ ]Zle_Zpred.con.types.xml.gz2004-04-09 00:23 671  
[ ]RlIt2.con.body.xml.gz2004-04-09 00:23 671  
[ ]RlIt2.con.types.xml.gz2004-04-09 00:23 669  
[ ]IZR_zero.con.body.xml.gz2004-04-09 00:23 667  
[ ]Zlt_1_O.con.types.xml.gz2004-04-09 00:23 666  
[ ]IZR_zero.con.types.xml.gz2004-04-09 00:23 662  
[ ]pos_eq_bool_correct.con.xml.gz2004-04-09 00:23 658  
[ ]min_n_0.con.body.xml.gz2004-04-09 00:23 653  
[ ]lt_S_le.con.types.xml.gz2004-04-09 00:23 652  
[ ]Z_eq_bool_correct.con.xml.gz2004-04-09 00:23 650  
[ ]Zpower_nat_1.con.body.xml.gz2004-04-09 00:23 648  
[ ]Rlt_R0_Ropp.con.body.xml.gz2004-04-09 00:23 645  
[ ]Rle_R0_Ropp.con.body.xml.gz2004-04-09 00:23 643  
[ ]ZmaxLe2.con.types.xml.gz2004-04-09 00:23 640  
[ ]Rlt_R0_Ropp.con.types.xml.gz2004-04-09 00:23 631  
[ ]ZleAbs_subproof.con.xml.gz2004-04-09 00:23 627  
[ ]le_refl_eq.con.body.xml.gz2004-04-09 00:23 620  
[ ]ZmaxLe2.con.body.xml.gz2004-04-09 00:23 618  
[ ]Zeq_Zs.con.types.xml.gz2004-04-09 00:23 617  
[ ]Zeq_Zs.con.body.xml.gz2004-04-09 00:23 602  
[ ]min_or.con.xml.gz2004-04-09 00:23 593  
[ ]ZleAbs_subproof0.con.xml.gz2004-04-09 00:23 592  
[ ]RmaxRmult.con.xml.gz2004-04-09 00:23 590  
[ ]Zpred_Zle_Zabs_intro_subproof.con.xml.gz2004-04-09 00:23 575  
[ ]le_mult_anti_compatibility.con.xml.gz2004-04-09 00:23 572  
[ ]Zlt_Zabs_Zpred.con.xml.gz2004-04-09 00:23 571  
[ ]NotZmultZero.con.xml.gz2004-04-09 00:23 571  
[ ]mult_eq_inv.con.xml.gz2004-04-09 00:23 569  
[ ]Rle_R0_Ropp.con.types.xml.gz2004-04-09 00:23 568  
[ ]lt_mult_anti_compatibility.con.xml.gz2004-04-09 00:23 566  
[ ]Zlt_1_O.con.body.xml.gz2004-04-09 00:23 561  
[ ]Zle_Zopp_Inv_subproof0.con.xml.gz2004-04-09 00:23 558  
[ ]ZleAbs.con.xml.gz2004-04-09 00:23 558  
[ ]inj_pred.con.xml.gz2004-04-09 00:23 554  
[ ]inject_nat_convert.con.xml.gz2004-04-09 00:23 553  
[ ]Zpred_Zle_Zabs_intro.con.xml.gz2004-04-09 00:23 552  
[ ]Zle_Zmult_comp_l.con.xml.gz2004-04-09 00:23 550  
[ ]lt_comp_mult_l.con.xml.gz2004-04-09 00:23 549  
[ ]Zlt_mult_simpl_l.con.xml.gz2004-04-09 00:23 549  
[ ]Zle_Zmult_comp_r.con.xml.gz2004-04-09 00:23 549  
[ ]lt_comp_mult.con.xml.gz2004-04-09 00:23 547  
[ ]Rlt_RinvDouble.con.xml.gz2004-04-09 00:23 547  
[ ]lte_comp_mult.con.xml.gz2004-04-09 00:23 546  
[ ]absolu_Zs_neg.con.xml.gz2004-04-09 00:23 546  
[ ]lt_comp_mult_r.con.xml.gz2004-04-09 00:23 543  
[ ]Zmax.con.body.xml.gz2004-04-09 00:23 543  
[ ]le_refl_eq.con.types.xml.gz2004-04-09 00:23 541  
[ ]absolu_Zs_neg_subproof.con.xml.gz2004-04-09 00:23 539  
[ ]minus_le.con.xml.gz2004-04-09 00:23 536  
[ ]RmaxAbs.con.xml.gz2004-04-09 00:23 536  
[ ]NEq_INR1.con.xml.gz2004-04-09 00:23 536  
[ ]Zle_Zopp_Inv_subproof.con.xml.gz2004-04-09 00:23 535  
[ ]minus_inv_lt_aux.con.xml.gz2004-04-09 00:23 534  
[ ]lt_next.con.xml.gz2004-04-09 00:23 533  
[ ]absolu_Zs.con.xml.gz2004-04-09 00:23 533  
[ ]NEq_INR.con.xml.gz2004-04-09 00:23 532  
[ ]Zabs_Zs_subproof.con.xml.gz2004-04-09 00:23 530  
[ ]lt_minus_inv.con.xml.gz2004-04-09 00:23 529  
[ ]Zle_Zopp_subproof.con.xml.gz2004-04-09 00:23 527  
[ ]Zlt_next.con.xml.gz2004-04-09 00:23 525  
[ ]absolu_comp_mult.con.xml.gz2004-04-09 00:23 523  
[ ]Zlt_Zopp_Inv_subproof.con.xml.gz2004-04-09 00:23 522  
[ ]Rmult_IZR.con.xml.gz2004-04-09 00:23 521  
[ ]NEq_IZRO.con.xml.gz2004-04-09 00:23 521  
[ ]Rledouble.con.xml.gz2004-04-09 00:23 519  
[ ]NEq_INRO.con.xml.gz2004-04-09 00:23 518  
[ ]ZleLe_subproof.con.xml.gz2004-04-09 00:23 517  
[ ]Zcompare_EGAL.con.xml.gz2004-04-09 00:23 516  
[ ]ptonat_def1.con.xml.gz2004-04-09 00:23 515  
[ ]Rltdouble.con.xml.gz2004-04-09 00:23 515  
[ ]Zle_next.con.xml.gz2004-04-09 00:23 514  
[ ]Zabs_intro.con.xml.gz2004-04-09 00:23 514  
[ ]absolu_lt_nz.con.xml.gz2004-04-09 00:23 513  
[ ]le_next.con.xml.gz2004-04-09 00:23 512  
[ ]Zlt_Zabs_intro.con.xml.gz2004-04-09 00:23 512  
[ ]Zlt_absolu_subproof.con.xml.gz2004-04-09 00:23 505  
[ ]Zlt_mult_ZERO.con.xml.gz2004-04-09 00:23 504  
[ ]Zlt_Zminus_ZERO_subproof.con.xml.gz2004-04-09 00:23 504  
[ ]Zlt_1_O_subproof.con.xml.gz2004-04-09 00:23 504  
[ ]Rlt_IZR1.con.xml.gz2004-04-09 00:23 504  
[ ]Rle_IZR1.con.xml.gz2004-04-09 00:23 504  
[ ]Zle_Zminus_ZERO_subproof.con.xml.gz2004-04-09 00:23 503  
[ ]IZR_inv.con.xml.gz2004-04-09 00:23 503  
[ ]Zeq_Zs.con.xml.gz2004-04-09 00:23 502  
[ ]Zle_mult_gen.con.xml.gz2004-04-09 00:23 501  
[ ]Zabs_Zmult.con.xml.gz2004-04-09 00:23 500  
[ ]minus_minus.con.xml.gz2004-04-09 00:23 499  
[ ]Zmax_le1.con.xml.gz2004-04-09 00:23 499  
[ ]inject_nat_eq.con.xml.gz2004-04-09 00:23 498  
[ ]Zmax_le2.con.xml.gz2004-04-09 00:23 498  
[ ]Zminus_n_predm.con.xml.gz2004-04-09 00:23 497  
[ ]Zmin_Zle.con.xml.gz2004-04-09 00:23 497  
[ ]minus_inv_lt.con.xml.gz2004-04-09 00:23 496  
[ ]INR_inv.con.xml.gz2004-04-09 00:23 496  
[ ]IZR_zero_r.con.xml.gz2004-04-09 00:23 492  
[ ]Zlt_absolu.con.xml.gz2004-04-09 00:23 490  
[ ]lt_Zlt_inv_subproof.con.xml.gz2004-04-09 00:23 489  
[ ]Zpower_nat_O.con.xml.gz2004-04-09 00:23 489  
[ ]Zabs_eq_opp.con.xml.gz2004-04-09 00:23 489  
[ ]INR_lt_nm.con.xml.gz2004-04-09 00:23 489  
[ ]Rlt_INR1.con.xml.gz2004-04-09 00:23 487  
[ ]Rabsolu_Zabs.con.xml.gz2004-04-09 00:23 487  
[ ]lt_Rlt.con.xml.gz2004-04-09 00:23 486  
[ ]inj_abs.con.xml.gz2004-04-09 00:23 485  
[ ]Zlt_Zminus_ZERO.con.xml.gz2004-04-09 00:23 485  
[ ]Zle_Zminus_ZERO.con.xml.gz2004-04-09 00:23 485  
[ ]Rle_INR.con.xml.gz2004-04-09 00:23 485  
[ ]lt_Zlt_inv.con.xml.gz2004-04-09 00:23 484  
[ ]le_Rle.con.xml.gz2004-04-09 00:23 484  
[ ]Zmin_le1.con.xml.gz2004-04-09 00:23 482  
[ ]Zlt_Rlt.con.xml.gz2004-04-09 00:23 481  
[ ]Zle_Rle.con.xml.gz2004-04-09 00:23 481  
[ ]Rlt_IZR.con.xml.gz2004-04-09 00:23 481  
[ ]Rabsolu_left1.con.xml.gz2004-04-09 00:23 481  
[ ]Rle_IZR.con.xml.gz2004-04-09 00:23 480  
[ ]IZR_zero.con.xml.gz2004-04-09 00:23 480  
[ ]Zlt_not_eq_rev_subproof.con.xml.gz2004-04-09 00:23 479  
[ ]Zlt_not_eq_rev.con.xml.gz2004-04-09 00:23 479  
[ ]Zlt_ZERO_Zle_ONE.con.xml.gz2004-04-09 00:23 479  
[ ]lt_S_le.con.body.xml.gz2004-04-09 00:23 478  
[ ]Zmin_le2.con.xml.gz2004-04-09 00:23 478  
[ ]Zlt_Zabs_inv2.con.xml.gz2004-04-09 00:23 478  
[ ]ZleLe.con.xml.gz2004-04-09 00:23 476  
[ ]Rle_Rinv.con.xml.gz2004-04-09 00:23 476  
[ ]Int_part_INR.con.xml.gz2004-04-09 00:23 476  
[ ]Rle_IZRO.con.xml.gz2004-04-09 00:23 475  
[ ]Zlt_not_eq.con.xml.gz2004-04-09 00:23 473  
[ ]natEq.con.xml.gz2004-04-09 00:23 472  
[ ]Zlt_not_eq_subproof.con.xml.gz2004-04-09 00:23 472  
[ ]convert_not_O.con.xml.gz2004-04-09 00:23 470  
[ ]ZmaxSym.con.xml.gz2004-04-09 00:23 470  
[ ]Zlt_Zabs_inv1.con.xml.gz2004-04-09 00:23 470  
[ ]Zle_Zopp_Inv.con.xml.gz2004-04-09 00:23 470  
[ ]Zle_Zabs_inv1.con.xml.gz2004-04-09 00:23 470  
[ ]Zpower_nat_1.con.xml.gz2004-04-09 00:23 469  
[ ]Zle_Zpred_Zpred.con.xml.gz2004-04-09 00:23 468  
[ ]Int_part_IZR_subproof.con.xml.gz2004-04-09 00:23 468  
[ ]lt_S_le.con.xml.gz2004-04-09 00:23 467  
[ ]Rlt_IZRO.con.xml.gz2004-04-09 00:23 466  
[ ]Zpred_Zopp_Zs.con.xml.gz2004-04-09 00:23 465  
[ ]Zopp_Zpred_Zs.con.xml.gz2004-04-09 00:23 464  
[ ]Zle_n_Zpred.con.xml.gz2004-04-09 00:23 463  
[ ]not_O_lt.con.xml.gz2004-04-09 00:23 461  
[ ]Zmin_Zmax.con.xml.gz2004-04-09 00:23 461  
[ ]Zlt_Zopp_Inv.con.xml.gz2004-04-09 00:23 461  
[ ]Zlt_1_O.con.xml.gz2004-04-09 00:23 461  
[ ]NconvertO.con.xml.gz2004-04-09 00:23 461  
[ ]RmaxSym.con.xml.gz2004-04-09 00:23 460  
[ ]Rlt_Rminus_ZERO.con.xml.gz2004-04-09 00:23 460  
[ ]notEqLt.con.xml.gz2004-04-09 00:23 459  
[ ]Zle_Zpred_inv.con.xml.gz2004-04-09 00:23 459  
[ ]Zlt_Zopp.con.xml.gz2004-04-09 00:23 458  
[ ]Zle_Zpred_Zlt.con.xml.gz2004-04-09 00:23 458  
[ ]Zle_Zopp.con.xml.gz2004-04-09 00:23 457  
[ ]lt_le_pred.con.xml.gz2004-04-09 00:23 456  
[ ]Zle_Zabs_inv2.con.xml.gz2004-04-09 00:23 456  
[ ]Z_O_1.con.types.xml.gz2004-04-09 00:23 454  
[ ]Zmin_sym.con.xml.gz2004-04-09 00:23 452  
[ ]absolu_Zopp.con.xml.gz2004-04-09 00:23 451  
[ ]lt_Zlt_inv_subproof0.con.xml.gz2004-04-09 00:23 448  
[ ]Zpower_nat_O.con.body.xml.gz2004-04-09 00:23 448  
[ ]Int_part_IZR.con.xml.gz2004-04-09 00:23 448  
[ ]Zabs_absolu.con.xml.gz2004-04-09 00:23 447  
[ ]Zle_Zpred.con.xml.gz2004-04-09 00:23 445  
[ ]absolu_INR.con.xml.gz2004-04-09 00:23 440  
[ ]ZmaxLe2.con.xml.gz2004-04-09 00:23 438  
[ ]Zabs_Zopp.con.xml.gz2004-04-09 00:23 437  
[ ]ZmaxLe1.con.xml.gz2004-04-09 00:23 434  
[ ]Zabs_Zs.con.xml.gz2004-04-09 00:23 433  
[ ]min_n_0.con.xml.gz2004-04-09 00:23 430  
[ ]le_refl_eq.con.xml.gz2004-04-09 00:23 430  
[ ]Rle_R0_Ropp.con.xml.gz2004-04-09 00:23 417  
[ ]Rlt_R0_Ropp.con.xml.gz2004-04-09 00:23 416  
[ ]RmaxLess1.con.xml.gz2004-04-09 00:23 414  
[ ]RmaxLess2.con.xml.gz2004-04-09 00:23 413  
[ ]Zle_ZERO_Zabs.con.xml.gz2004-04-09 00:23 412  
[ ]Zle_abs.con.xml.gz2004-04-09 00:23 408  
[ ]Zle_Zabs.con.xml.gz2004-04-09 00:23 387  
[ ]RlIt2.con.xml.gz2004-04-09 00:23 386  
[ ]Rlt2.con.xml.gz2004-04-09 00:23 366  
[ ]Z_O_1.con.body.xml.gz2004-04-09 00:23 340  
[ ]Z_O_1.con.xml.gz2004-04-09 00:23 329  
[ ]pos_eq_bool.con.xml.gz2004-04-09 00:23 318  
[ ]Z_eq_bool.con.xml.gz2004-04-09 00:23 310  
[ ]Zmax.con.xml.gz2004-04-09 00:23 285  
[ ]pos_eq_bool.con.types.xml.gz2004-04-09 00:23 211  
[ ]Z_eq_bool.con.types.xml.gz2004-04-09 00:23 209  
[ ]natEq.con.types.xml.gz2004-04-09 00:23 199  
[ ]Zmax.con.types.xml.gz2004-04-09 00:23 198  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80