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

Name	Last modified	Size

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

Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80