Index of /xml/Nijmegen/QArith/Zaux

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]projection/2005-07-05 08:13 -  
[ ]Zmax.con.types.xml.gz2004-04-08 15:21 194  
[ ]projP1.con.types.xml.gz2004-04-08 15:21 197  
[ ]Z_dec'.con.types.xml.gz2004-04-08 15:21 199  
[ ]pred_nat.con.types.xml.gz2004-04-08 15:21 201  
[ ]Zrec_wf2.con.types.xml.gz2004-04-08 15:21 202  
[ ]Z2positive.con.types.xml.gz2004-04-08 15:21 204  
[ ]Z_le_lt_dec.con.types.xml.gz2004-04-08 15:21 207  
[ ]Zrec_wf_double.con.types.xml.gz2004-04-08 15:21 212  
[ ]Z_modulo_2_always.con.types.xml.gz2004-04-08 15:21 218  
[ ]triple_not_equal_zero.con.types.xml.gz2004-04-08 15:21 224  
[ ]Zeven_S.con.body.xml.gz2004-04-08 15:21 253  
[ ]Zeven_pred.con.body.xml.gz2004-04-08 15:21 257  
[ ]Z_modulo_2_always.con.body.xml.gz2004-04-08 15:21 272  
[ ]triple_not_equal_zero.con.body.xml.gz2004-04-08 15:21 277  
[ ]Zmax.con.xml.gz2004-04-08 15:21 286  
[ ]Z2positive.con.xml.gz2004-04-08 15:21 298  
[ ]Z_lt_le_dec.con.types.xml.gz2004-04-08 15:21 348  
[ ]projP1.con.xml.gz2004-04-08 15:21 364  
[ ]Zlt_cotrans.con.types.xml.gz2004-04-08 15:21 379  
[ ]Z_lt_lt_S_eq_dec.con.types.xml.gz2004-04-08 15:21 380  
[ ]Zpower_1.con.body.xml.gz2004-04-08 15:21 388  
[ ]pred_nat_subproof.con.xml.gz2004-04-08 15:21 389  
[ ]Zpower_2.con.body.xml.gz2004-04-08 15:21 390  
[ ]Zpower_1_subproof.con.body.xml.gz2004-04-08 15:21 397  
[ ]Zabs_10.con.xml.gz2004-04-08 15:21 403  
[ ]pred_nat.con.xml.gz2004-04-08 15:21 410  
[ ]ZERO_lt_POS.con.xml.gz2004-04-08 15:21 419  
[ ]Zmax_n_n.con.xml.gz2004-04-08 15:21 423  
[ ]ZERO_lt_POS.con.body.xml.gz2004-04-08 15:21 427  
[ ]Zle_max_l.con.xml.gz2004-04-08 15:21 432  
[ ]Zabs_min.con.xml.gz2004-04-08 15:21 434  
[ ]Zle_max_r.con.xml.gz2004-04-08 15:21 435  
[ ]projP2.con.xml.gz2004-04-08 15:21 437  
[ ]Zmax.con.body.xml.gz2004-04-08 15:21 438  
[ ]Zsgn_14.con.xml.gz2004-04-08 15:21 439  
[ ]Zsgn_13.con.xml.gz2004-04-08 15:21 440  
[ ]Zsgn_26.con.xml.gz2004-04-08 15:21 440  
[ ]Zsgn_27.con.xml.gz2004-04-08 15:21 441  
[ ]Zsgn_11.con.xml.gz2004-04-08 15:21 442  
[ ]Zabs_6.con.xml.gz2004-04-08 15:21 444  
[ ]Zsgn_12.con.xml.gz2004-04-08 15:21 446  
[ ]Z_dec.con.types.xml.gz2004-04-08 15:21 447  
[ ]Zsgn_25.con.xml.gz2004-04-08 15:21 447  
[ ]absolu_inject_nat.con.xml.gz2004-04-08 15:21 447  
[ ]Z_lt_le_dec.con.xml.gz2004-04-08 15:21 448  
[ ]Z_le_lt_dec.con.xml.gz2004-04-08 15:21 449  
[ ]Zle_pos_opp.con.xml.gz2004-04-08 15:21 450  
[ ]Zlt_pos_opp.con.xml.gz2004-04-08 15:21 450  
[ ]Zle_neg_opp.con.xml.gz2004-04-08 15:21 452  
[ ]Zlt_neg_opp.con.xml.gz2004-04-08 15:21 452  
[ ]Zsgn_6.con.xml.gz2004-04-08 15:21 452  
[ ]Zsgn_2.con.xml.gz2004-04-08 15:21 456  
[ ]not_Zlt.con.xml.gz2004-04-08 15:21 456  
[ ]Zopp_Zlt.con.xml.gz2004-04-08 15:21 457  
[ ]Zabs_7.con.xml.gz2004-04-08 15:21 458  
[ ]Zlt_opp.con.xml.gz2004-04-08 15:21 460  
[ ]POS_neq_ZERO.con.xml.gz2004-04-08 15:21 461  
[ ]Zge_opp.con.xml.gz2004-04-08 15:21 461  
[ ]Zpower_1.con.xml.gz2004-04-08 15:21 461  
[ ]Zopp_Zle.con.xml.gz2004-04-08 15:21 462  
[ ]not_Zle_lt.con.xml.gz2004-04-08 15:21 462  
[ ]ZL9.con.xml.gz2004-04-08 15:21 464  
[ ]NEG_neq_ZERO.con.xml.gz2004-04-08 15:21 465  
[ ]pred_nat_subproof0.con.xml.gz2004-04-08 15:21 465  
[ ]Zmin_cancel_Zle.con.xml.gz2004-04-08 15:21 468  
[ ]Zsgn_4.con.xml.gz2004-04-08 15:21 470  
[ ]Zgt_not_eq.con.xml.gz2004-04-08 15:21 472  
[ ]Zle_minus.con.xml.gz2004-04-08 15:21 473  
[ ]Zlt_minus.con.xml.gz2004-04-08 15:21 473  
[ ]Zeven_S.con.xml.gz2004-04-08 15:21 474  
[ ]Zpower_1_subproof.con.xml.gz2004-04-08 15:21 475  
[ ]Zmin_cancel_Zlt.con.xml.gz2004-04-08 15:21 476  
[ ]lt_inj.con.xml.gz2004-04-08 15:21 479  
[ ]Zeven_pred.con.xml.gz2004-04-08 15:21 480  
[ ]le_inj.con.xml.gz2004-04-08 15:21 480  
[ ]Zabs_neg.con.xml.gz2004-04-08 15:21 481  
[ ]Zabs_11.con.xml.gz2004-04-08 15:21 482  
[ ]absolu_1.con.xml.gz2004-04-08 15:21 484  
[ ]Zabs_plus.con.xml.gz2004-04-08 15:21 485  
[ ]Zminus_eq.con.xml.gz2004-04-08 15:21 487  
[ ]Zpower_1_subproof_subproof.con.xml.gz2004-04-08 15:21 487  
[ ]Zsgn_10.con.xml.gz2004-04-08 15:21 490  
[ ]Zsgn_15.con.xml.gz2004-04-08 15:21 490  
[ ]Zsgn_9.con.xml.gz2004-04-08 15:21 491  
[ ]eq_inj.con.xml.gz2004-04-08 15:21 491  
[ ]inject_nat_S_inf_subproof.con.xml.gz2004-04-08 15:21 492  
[ ]Zopp_Zle_subproof.con.xml.gz2004-04-08 15:21 493  
[ ]Zabs_mult.con.xml.gz2004-04-08 15:21 494  
[ ]Zopp_Zle_subproof0.con.xml.gz2004-04-08 15:21 494  
[ ]square_pos.con.xml.gz2004-04-08 15:21 494  
[ ]Zopp_app.con.xml.gz2004-04-08 15:21 495  
[ ]Zsgn_3.con.xml.gz2004-04-08 15:21 495  
[ ]pred_nat_unfolded_subproof.con.xml.gz2004-04-08 15:21 495  
[ ]Zsgn_7.con.xml.gz2004-04-08 15:21 497  
[ ]Zsgn_7'.con.xml.gz2004-04-08 15:21 498  
[ ]Zsgn_8.con.xml.gz2004-04-08 15:21 498  
[ ]Zsgn_23.con.xml.gz2004-04-08 15:21 499  
[ ]lt_inj_subproof.con.xml.gz2004-04-08 15:21 499  
[ ]Zsgn_21.con.xml.gz2004-04-08 15:21 500  
[ ]le_inj_subproof.con.xml.gz2004-04-08 15:21 500  
[ ]Z_dec.con.xml.gz2004-04-08 15:21 501  
[ ]Zsgn_22.con.xml.gz2004-04-08 15:21 501  
[ ]S_predn.con.xml.gz2004-04-08 15:21 503  
[ ]Z_dec'.con.xml.gz2004-04-08 15:21 503  
[ ]Zpower_2.con.xml.gz2004-04-08 15:21 503  
[ ]Zsgn_24.con.xml.gz2004-04-08 15:21 503  
[ ]Z_div_neg.con.xml.gz2004-04-08 15:21 504  
[ ]Zsgn_7'.con.body.xml.gz2004-04-08 15:21 504  
[ ]Zle_resp_neg.con.xml.gz2004-04-08 15:21 505  
[ ]Zlt_resp_pos.con.xml.gz2004-04-08 15:21 505  
[ ]Zmult_neg_neg.con.xml.gz2004-04-08 15:21 506  
[ ]POS_resp_eq.con.xml.gz2004-04-08 15:21 507  
[ ]Z_div_nonneg.con.xml.gz2004-04-08 15:21 508  
[ ]Zle_neq_Zlt.con.xml.gz2004-04-08 15:21 508  
[ ]Zmult_pos_neg.con.xml.gz2004-04-08 15:21 508  
[ ]Zmult_pos_pos.con.xml.gz2004-04-08 15:21 508  
[ ]Zlt_cotrans.con.xml.gz2004-04-08 15:21 511  
[ ]Zmult_neg_pos.con.xml.gz2004-04-08 15:21 513  
[ ]Zabs_3.con.xml.gz2004-04-08 15:21 517  
[ ]Zsgn_19.con.xml.gz2004-04-08 15:21 517  
[ ]Zsgn_20.con.xml.gz2004-04-08 15:21 517  
[ ]Zabs_4.con.xml.gz2004-04-08 15:21 518  
[ ]Zabs_8.con.xml.gz2004-04-08 15:21 519  
[ ]Zabs_12.con.xml.gz2004-04-08 15:21 519  
[ ]Zabs_2.con.xml.gz2004-04-08 15:21 520  
[ ]absolu_2.con.xml.gz2004-04-08 15:21 520  
[ ]Zabs_1.con.xml.gz2004-04-08 15:21 521  
[ ]Zabs_5.con.xml.gz2004-04-08 15:21 521  
[ ]Zmax_case.con.xml.gz2004-04-08 15:21 521  
[ ]not_Zeq_inf.con.xml.gz2004-04-08 15:21 521  
[ ]Zpower_2_subproof.con.xml.gz2004-04-08 15:21 523  
[ ]NEG_neq_ZERO.con.body.xml.gz2004-04-08 15:21 524  
[ ]le_inj.con.body.xml.gz2004-04-08 15:21 524  
[ ]lt_inj.con.body.xml.gz2004-04-08 15:21 524  
[ ]Zmin_or_informative.con.xml.gz2004-04-08 15:21 527  
[ ]Zlt_cotrans_neg.con.types.xml.gz2004-04-08 15:21 531  
[ ]Zlt_cotrans_pos.con.types.xml.gz2004-04-08 15:21 534  
[ ]Zmax_or_informative.con.xml.gz2004-04-08 15:21 535  
[ ]Z_div_le.con.xml.gz2004-04-08 15:21 536  
[ ]Z2positive.con.body.xml.gz2004-04-08 15:21 538  
[ ]Zlt_cotrans_pos.con.xml.gz2004-04-08 15:21 540  
[ ]Zgt_plus_plus.con.xml.gz2004-04-08 15:21 544  
[ ]Zlt_cotrans_neg.con.xml.gz2004-04-08 15:21 544  
[ ]Zlt_plus_plus.con.xml.gz2004-04-08 15:21 544  
[ ]Zlt_mult_cancel_l.con.xml.gz2004-04-08 15:21 545  
[ ]Zmult_resp_Zle.con.xml.gz2004-04-08 15:21 545  
[ ]Zle_lt_plus_plus.con.xml.gz2004-04-08 15:21 547  
[ ]Zlt_conv_mult_l.con.xml.gz2004-04-08 15:21 547  
[ ]Zopp_Zlt_subproof.con.xml.gz2004-04-08 15:21 549  
[ ]Zopp_Zlt_subproof0.con.xml.gz2004-04-08 15:21 549  
[ ]absolu_pred_nat_subproof.con.xml.gz2004-04-08 15:21 549  
[ ]Zgt_ge_plus_plus.con.xml.gz2004-04-08 15:21 550  
[ ]Zlt_reg_mult_l.con.xml.gz2004-04-08 15:21 550  
[ ]not_Zle_lt.con.body.xml.gz2004-04-08 15:21 550  
[ ]Zge_gt_plus_plus.con.xml.gz2004-04-08 15:21 551  
[ ]Zle_reg_mult_l.con.xml.gz2004-04-08 15:21 552  
[ ]lt_absolu.con.xml.gz2004-04-08 15:21 552  
[ ]Zmult_cancel_Zle.con.xml.gz2004-04-08 15:21 554  
[ ]lt_inj.con.types.xml.gz2004-04-08 15:21 555  
[ ]pred_absolu_subproof1.con.xml.gz2004-04-08 15:21 556  
[ ]le_absolu.con.xml.gz2004-04-08 15:21 558  
[ ]le_inj.con.types.xml.gz2004-04-08 15:21 558  
[ ]Zgt_mult_reg_absorb_l.con.xml.gz2004-04-08 15:21 559  
[ ]Zmult_simpl.con.xml.gz2004-04-08 15:21 559  
[ ]Zle_lt_eq_S.con.xml.gz2004-04-08 15:21 560  
[ ]Zsgn_18.con.xml.gz2004-04-08 15:21 563  
[ ]absolu_pred_nat.con.xml.gz2004-04-08 15:21 563  
[ ]Zgt_mult_conv_absorb_l.con.xml.gz2004-04-08 15:21 565  
[ ]pred_absolu_subproof.con.body.xml.gz2004-04-08 15:21 568  
[ ]Zabs_9.con.xml.gz2004-04-08 15:21 569  
[ ]pred_nat_unfolded.con.xml.gz2004-04-08 15:21 569  
[ ]pred_absolu_subproof1_subproof.con.xml.gz2004-04-08 15:21 572  
[ ]Z_div_mod_eq_2.con.xml.gz2004-04-08 15:21 574  
[ ]Zsimpl_plus_l_dep.con.xml.gz2004-04-08 15:21 574  
[ ]Zsimpl_plus_r_dep.con.xml.gz2004-04-08 15:21 574  
[ ]not_Zle_lt.con.types.xml.gz2004-04-08 15:21 574  
[ ]pred_absolu_subproof1.con.body.xml.gz2004-04-08 15:21 574  
[ ]mediant_2.con.xml.gz2004-04-08 15:21 575  
[ ]nat_nat_pos.con.xml.gz2004-04-08 15:21 579  
[ ]pred_absolu.con.xml.gz2004-04-08 15:21 580  
[ ]Zmult_resp_nonzero.con.xml.gz2004-04-08 15:21 583  
[ ]mediant_1.con.xml.gz2004-04-08 15:21 584  
[ ]pred_nat_equal.con.xml.gz2004-04-08 15:21 586  
[ ]Zeven_S.con.types.xml.gz2004-04-08 15:21 591  
[ ]Zlt_le_eq_S.con.xml.gz2004-04-08 15:21 591  
[ ]Zmult_absorb.con.xml.gz2004-04-08 15:21 591  
[ ]Zsimpl_mult_l.con.xml.gz2004-04-08 15:21 591  
[ ]inject_nat_S_inf.con.xml.gz2004-04-08 15:21 591  
[ ]Zeven_pred.con.types.xml.gz2004-04-08 15:21 595  
[ ]ZERO_lt_POS.con.types.xml.gz2004-04-08 15:21 598  
[ ]Zpower_1_subproof.con.types.xml.gz2004-04-08 15:21 598  
[ ]quadro_leq_inf.con.xml.gz2004-04-08 15:21 600  
[ ]Zsgn_1.con.xml.gz2004-04-08 15:21 604  
[ ]projP1.con.body.xml.gz2004-04-08 15:21 604  
[ ]absolu_plus.con.xml.gz2004-04-08 15:21 605  
[ ]ZmaxSS.con.xml.gz2004-04-08 15:21 606  
[ ]absolu_2.con.body.xml.gz2004-04-08 15:21 606  
[ ]not_Zeq_inf.con.types.xml.gz2004-04-08 15:21 606  
[ ]Zlt_mult_mult.con.xml.gz2004-04-08 15:21 609  
[ ]pred_absolu_subproof.con.xml.gz2004-04-08 15:21 611  
[ ]POS_neq_ZERO.con.body.xml.gz2004-04-08 15:21 612  
[ ]Z_lt_lt_S_eq_dec.con.xml.gz2004-04-08 15:21 617  
[ ]Zabs_6.con.types.xml.gz2004-04-08 15:21 621  
[ ]pred_absolu_subproof_subproof.con.xml.gz2004-04-08 15:21 621  
[ ]Zsgn_6.con.types.xml.gz2004-04-08 15:21 627  
[ ]double_not_equal_zero.con.xml.gz2004-04-08 15:21 627  
[ ]Zsgn_1.con.types.xml.gz2004-04-08 15:21 631  
[ ]Zsgn_6.con.body.xml.gz2004-04-08 15:21 631  
[ ]inject_nat_S_inf_subproof.con.body.xml.gz2004-04-08 15:21 634  
[ ]absolu_pred_nat_subproof0.con.xml.gz2004-04-08 15:21 636  
[ ]pair_1.con.xml.gz2004-04-08 15:21 636  
[ ]pred_nat_unfolded_subproof.con.body.xml.gz2004-04-08 15:21 637  
[ ]not_Zlt.con.body.xml.gz2004-04-08 15:21 638  
[ ]Zabs_7.con.types.xml.gz2004-04-08 15:21 642  
[ ]Zpower_1.con.types.xml.gz2004-04-08 15:21 643  
[ ]Zabs_7.con.body.xml.gz2004-04-08 15:21 644  
[ ]Zabs_6.con.body.xml.gz2004-04-08 15:21 646  
[ ]Zsgn_7'.con.types.xml.gz2004-04-08 15:21 646  
[ ]Zsgn_16.con.xml.gz2004-04-08 15:21 653  
[ ]Zsgn_17.con.xml.gz2004-04-08 15:21 657  
[ ]Zabs_12.con.types.xml.gz2004-04-08 15:21 658  
[ ]projP2.con.body.xml.gz2004-04-08 15:21 658  
[ ]pred_nat_subproof.con.types.xml.gz2004-04-08 15:21 661  
[ ]pred_absolu_subproof1.con.types.xml.gz2004-04-08 15:21 666  
[ ]POS_neq_ZERO.con.types.xml.gz2004-04-08 15:21 669  
[ ]Z_div_nonneg.con.body.xml.gz2004-04-08 15:21 680  
[ ]Zrec_wf.con.xml.gz2004-04-08 15:21 680  
[ ]Zind_wf.con.xml.gz2004-04-08 15:21 683  
[ ]Zrec_wf2.con.xml.gz2004-04-08 15:21 684  
[ ]Zrec.con.xml.gz2004-04-08 15:21 685  
[ ]Zind_wf2.con.xml.gz2004-04-08 15:21 686  
[ ]Zind.con.xml.gz2004-04-08 15:21 688  
[ ]NEG_neq_ZERO.con.types.xml.gz2004-04-08 15:21 692  
[ ]inject_nat_S_inf_subproof.con.types.xml.gz2004-04-08 15:21 697  
[ ]pred_nat_unfolded_subproof.con.types.xml.gz2004-04-08 15:21 700  
[ ]Z_div_nonneg.con.types.xml.gz2004-04-08 15:21 703  
[ ]Zrec_down.con.xml.gz2004-04-08 15:21 703  
[ ]Zind_down.con.xml.gz2004-04-08 15:21 706  
[ ]Zmult_resp_nonzero.con.body.xml.gz2004-04-08 15:21 711  
[ ]Z_div_le.con.body.xml.gz2004-04-08 15:21 721  
[ ]Zmin_or_informative.con.types.xml.gz2004-04-08 15:21 721  
[ ]Zle_resp_neg.con.types.xml.gz2004-04-08 15:21 726  
[ ]pred_absolu_subproof0.con.xml.gz2004-04-08 15:21 726  
[ ]pred_nat_subproof0.con.types.xml.gz2004-04-08 15:21 726  
[ ]Zlt_resp_pos.con.types.xml.gz2004-04-08 15:21 729  
[ ]absolu_inject_nat.con.body.xml.gz2004-04-08 15:21 731  
[ ]Zsgn_5.con.xml.gz2004-04-08 15:21 732  
[ ]Z_lt_lt_S_eq_dec.con.body.xml.gz2004-04-08 15:21 739  
[ ]fraction_lt_trans.con.xml.gz2004-04-08 15:21 747  
[ ]Z_modulo_2_always.con.xml.gz2004-04-08 15:21 748  
[ ]Zpower_2.con.types.xml.gz2004-04-08 15:21 748  
[ ]Zlt_mult_cancel_l.con.types.xml.gz2004-04-08 15:21 753  
[ ]triple_not_equal_zero.con.xml.gz2004-04-08 15:21 753  
[ ]Zind_wf2.con.types.xml.gz2004-04-08 15:21 757  
[ ]Zsgn_25.con.body.xml.gz2004-04-08 15:21 758  
[ ]pred_absolu_subproof.con.types.xml.gz2004-04-08 15:21 758  
[ ]Zabs_min.con.body.xml.gz2004-04-08 15:21 759  
[ ]projP2.con.types.xml.gz2004-04-08 15:21 761  
[ ]mediant_3.con.xml.gz2004-04-08 15:21 764  
[ ]Z_div_le.con.types.xml.gz2004-04-08 15:21 773  
[ ]Zle_pos_opp.con.types.xml.gz2004-04-08 15:21 773  
[ ]Zlt_pos_opp.con.types.xml.gz2004-04-08 15:21 773  
[ ]pair_2.con.xml.gz2004-04-08 15:21 773  
[ ]Zlt_resp_pos.con.body.xml.gz2004-04-08 15:21 774  
[ ]triple_not_equal_zero_subproof.con.xml.gz2004-04-08 15:21 774  
[ ]Zle_neg_opp.con.types.xml.gz2004-04-08 15:21 779  
[ ]Zlt_neg_opp.con.types.xml.gz2004-04-08 15:21 780  
[ ]Zrec_wf2.con.body.xml.gz2004-04-08 15:21 780  
[ ]Zabs_11.con.body.xml.gz2004-04-08 15:21 781  
[ ]Zle_resp_neg.con.body.xml.gz2004-04-08 15:21 781  
[ ]Zmult_simpl.con.types.xml.gz2004-04-08 15:21 781  
[ ]Zind_wf2.con.body.xml.gz2004-04-08 15:21 783  
[ ]Zlt_mult_cancel_l.con.body.xml.gz2004-04-08 15:21 789  
[ ]pred_nat_subproof.con.body.xml.gz2004-04-08 15:21 827  
[ ]Zsgn_26.con.body.xml.gz2004-04-08 15:21 829  
[ ]Zsgn_27.con.body.xml.gz2004-04-08 15:21 831  
[ ]Zsgn_14.con.types.xml.gz2004-04-08 15:21 832  
[ ]Zabs_4.con.types.xml.gz2004-04-08 15:21 853  
[ ]absolu_2.con.types.xml.gz2004-04-08 15:21 856  
[ ]Zabs_4.con.body.xml.gz2004-04-08 15:21 868  
[ ]Zsgn_13.con.types.xml.gz2004-04-08 15:21 880  
[ ]Zle_neg_opp.con.body.xml.gz2004-04-08 15:21 884  
[ ]Zlt_neg_opp.con.body.xml.gz2004-04-08 15:21 884  
[ ]Zle_pos_opp.con.body.xml.gz2004-04-08 15:21 887  
[ ]Zlt_pos_opp.con.body.xml.gz2004-04-08 15:21 887  
[ ]pred_nat.con.body.xml.gz2004-04-08 15:21 890  
[ ]not_Zlt.con.types.xml.gz2004-04-08 15:21 891  
[ ]Zle_neq_Zlt.con.types.xml.gz2004-04-08 15:21 895  
[ ]Zopp_Zle_subproof.con.body.xml.gz2004-04-08 15:21 904  
[ ]Zopp_Zle_subproof0.con.body.xml.gz2004-04-08 15:21 906  
[ ]pred_nat_subproof0.con.body.xml.gz2004-04-08 15:21 908  
[ ]Z_le_lt_dec.con.body.xml.gz2004-04-08 15:21 912  
[ ]Zmult_resp_nonzero.con.types.xml.gz2004-04-08 15:21 935  
[ ]Zmult_simpl.con.body.xml.gz2004-04-08 15:21 947  
[ ]absolu_pred_nat_subproof.con.body.xml.gz2004-04-08 15:21 947  
[ ]Zminus_eq.con.types.xml.gz2004-04-08 15:21 960  
[ ]POS_resp_eq.con.types.xml.gz2004-04-08 15:21 961  
[ ]Zrec_wf_double.con.xml.gz2004-04-08 15:21 966  
[ ]pair_1.con.body.xml.gz2004-04-08 15:21 966  
[ ]Zind_wf_double.con.xml.gz2004-04-08 15:21 971  
[ ]Zopp_Zlt_subproof0.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zopp_Zlt_subproof.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Z_lt_le_dec.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zmult_resp_Zle.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]absolu_inject_nat.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zsimpl_plus_l_dep.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zgt_ge_plus_plus.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zabs_11.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]POS_resp_eq.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zmult_cancel_Zle.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zsimpl_plus_l_dep.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zminus_eq.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zgt_plus_plus.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zlt_plus_plus.con.types.xml.gz2004-04-08 15:21 1.0K 
[ ]Zopp_app.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Z_div_mod_eq_2.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]absolu_pred_nat_subproof0.con.body.xml.gz2004-04-08 15:21 1.0K 
[ ]Zsgn_26.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zgt_ge_plus_plus.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Zabs_neg.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]square_pos.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Zsgn_27.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zopp_app.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zle_neq_Zlt.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Zlt_cotrans.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Z_div_mod_eq_2.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zle_lt_plus_plus.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Zlt_mult_mult.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zle_lt_plus_plus.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zgt_plus_plus.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]Zlt_plus_plus.con.body.xml.gz2004-04-08 15:21 1.1K 
[ ]quadro_leq_inf.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]absolu_pred_nat_subproof.con.types.xml.gz2004-04-08 15:21 1.1K 
[ ]Zgt_not_eq.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]Z_dec'.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]Zsgn_18.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zabs_min.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]mediant_1.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zopp_Zle.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]mediant_2.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zopp_Zle.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zgt_not_eq.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zle_lt_eq_S.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zsgn_25.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zge_gt_plus_plus.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]eq_inj.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zsimpl_plus_r_dep.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zge_gt_plus_plus.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]Zopp_Zlt.con.types.xml.gz2004-04-08 15:21 1.2K 
[ ]Zsgn_8.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]mediant_2.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]mediant_1.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]Zopp_Zlt.con.body.xml.gz2004-04-08 15:21 1.2K 
[ ]Zsgn_14.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zabs_8.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]Zlt_mult_mult.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zmult_resp_Zle.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]inject_nat_S_inf.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]absolu_pred_nat.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zlt_cotrans_neg.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zle_minus.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]Zlt_minus.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]Zsgn_7.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zlt_le_eq_S.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]Zlt_cotrans_pos.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zabs_8.con.body.xml.gz2004-04-08 15:21 1.3K 
[ ]Zsgn_8.con.types.xml.gz2004-04-08 15:21 1.3K 
[ ]Zmult_cancel_Zle.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]Zsgn_13.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]Zlt_opp.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]Zsimpl_plus_r_dep.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]square_pos.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]absolu_pred_nat_subproof0.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]pair_1.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]Zle_minus.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]Zlt_minus.con.body.xml.gz2004-04-08 15:21 1.4K 
[ ]Zopp_Zle_subproof.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]Zopp_Zle_subproof0.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]Zabs_10.con.types.xml.gz2004-04-08 15:21 1.4K 
[ ]Zsgn_4.con.body.xml.gz2004-04-08 15:21 1.5K 
[ ]Zabs_neg.con.types.xml.gz2004-04-08 15:21 1.5K 
[ ]Zopp_Zlt_subproof0.con.types.xml.gz2004-04-08 15:21 1.5K 
[ ]Zopp_Zlt_subproof.con.types.xml.gz2004-04-08 15:21 1.5K 
[ ]Zsgn_7.con.types.xml.gz2004-04-08 15:21 1.5K 
[ ]eq_inj.con.body.xml.gz2004-04-08 15:21 1.5K 
[ ]Zsgn_15.con.body.xml.gz2004-04-08 15:21 1.5K 
[ ]Zabs_12.con.body.xml.gz2004-04-08 15:21 1.5K 
[ ]Zlt_opp.con.types.xml.gz2004-04-08 15:21 1.5K 
[ ]Zabs_10.con.body.xml.gz2004-04-08 15:21 1.6K 
[ ]Zmax_n_n.con.body.xml.gz2004-04-08 15:21 1.6K 
[ ]Zsgn_2.con.body.xml.gz2004-04-08 15:21 1.6K 
[ ]Zpower_1_subproof_subproof.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zpower_1_subproof_subproof.con.body.xml.gz2004-04-08 15:21 1.7K 
[ ]Zabs_mult.con.body.xml.gz2004-04-08 15:21 1.7K 
[ ]Zsgn_1.con.body.xml.gz2004-04-08 15:21 1.7K 
[ ]Zsgn_10.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zsgn_17.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zsgn_16.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]S_predn.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zle_lt_eq_S.con.body.xml.gz2004-04-08 15:21 1.7K 
[ ]double_not_equal_zero.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zgt_mult_conv_absorb_l.con.types.xml.gz2004-04-08 15:21 1.7K 
[ ]Zsgn_9.con.body.xml.gz2004-04-08 15:21 1.7K 
[ ]absolu_pred_nat.con.types.xml.gz2004-04-08 15:21 1.8K 
[ ]Zsgn_3.con.body.xml.gz2004-04-08 15:21 1.8K 
[ ]not_Zeq_inf.con.body.xml.gz2004-04-08 15:21 1.8K 
[ ]double_not_equal_zero.con.body.xml.gz2004-04-08 15:21 1.8K 
[ ]Zsgn_10.con.body.xml.gz2004-04-08 15:21 1.8K 
[ ]Zsgn_9.con.types.xml.gz2004-04-08 15:21 1.8K 
[ ]Z_div_neg.con.types.xml.gz2004-04-08 15:21 1.8K 
[ ]Zlt_le_eq_S.con.body.xml.gz2004-04-08 15:21 1.9K 
[ ]Zmin_cancel_Zle.con.body.xml.gz2004-04-08 15:21 1.9K 
[ ]pred_nat_equal.con.body.xml.gz2004-04-08 15:21 1.9K 
[ ]Zsgn_4.con.types.xml.gz2004-04-08 15:21 1.9K 
[ ]S_predn.con.body.xml.gz2004-04-08 15:21 1.9K 
[ ]Zrec_wf.con.types.xml.gz2004-04-08 15:21 2.0K 
[ ]Zgt_mult_conv_absorb_l.con.body.xml.gz2004-04-08 15:21 2.0K 
[ ]Zsgn_3.con.types.xml.gz2004-04-08 15:21 2.0K 
[ ]Zmin_cancel_Zlt.con.body.xml.gz2004-04-08 15:21 2.0K 
[ ]Z_div_neg.con.body.xml.gz2004-04-08 15:21 2.0K 
[ ]Zsgn_11.con.types.xml.gz2004-04-08 15:21 2.0K 
[ ]Zind_wf_double.con.types.xml.gz2004-04-08 15:21 2.1K 
[ ]Z_dec.con.body.xml.gz2004-04-08 15:21 2.1K 
[ ]Zsgn_2.con.types.xml.gz2004-04-08 15:21 2.1K 
[ ]Zmax_n_n.con.types.xml.gz2004-04-08 15:21 2.1K 
[ ]Zpower_2_subproof.con.body.xml.gz2004-04-08 15:21 2.2K 
[ ]Zmin_cancel_Zle.con.types.xml.gz2004-04-08 15:21 2.2K 
[ ]pred_nat_unfolded.con.body.xml.gz2004-04-08 15:21 2.2K 
[ ]Zmin_cancel_Zlt.con.types.xml.gz2004-04-08 15:21 2.2K 
[ ]Zgt_mult_reg_absorb_l.con.types.xml.gz2004-04-08 15:21 2.3K 
[ ]pred_absolu_subproof_subproof.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]pair_2.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zrec_wf_double.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zmult_pos_neg.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zind_wf_double.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zlt_reg_mult_l.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zmult_pos_pos.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]pred_absolu_subproof_subproof.con.types.xml.gz2004-04-08 15:21 2.3K 
[ ]nat_nat_pos.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zmult_neg_pos.con.body.xml.gz2004-04-08 15:21 2.3K 
[ ]Zmult_neg_neg.con.body.xml.gz2004-04-08 15:21 2.4K 
[ ]Zgt_mult_reg_absorb_l.con.body.xml.gz2004-04-08 15:21 2.4K 
[ ]inject_nat_S_inf.con.body.xml.gz2004-04-08 15:21 2.4K 
[ ]Zsimpl_mult_l.con.body.xml.gz2004-04-08 15:21 2.6K 
[ ]Zge_opp.con.body.xml.gz2004-04-08 15:21 2.6K 
[ ]Zsgn_12.con.types.xml.gz2004-04-08 15:21 2.7K 
[ ]pred_nat_equal.con.types.xml.gz2004-04-08 15:21 2.7K 
[ ]Zpower_2_subproof.con.types.xml.gz2004-04-08 15:21 2.7K 
[ ]Zsgn_11.con.body.xml.gz2004-04-08 15:21 2.7K 
[ ]pred_nat_unfolded.con.types.xml.gz2004-04-08 15:21 2.8K 
[ ]quadro_leq_inf.con.body.xml.gz2004-04-08 15:21 2.8K 
[ ]Zsimpl_mult_l.con.types.xml.gz2004-04-08 15:21 2.9K 
[ ]Zsgn_12.con.body.xml.gz2004-04-08 15:21 3.1K 
[ ]Zlt_reg_mult_l.con.types.xml.gz2004-04-08 15:21 3.1K 
[ ]Zabs_2.con.body.xml.gz2004-04-08 15:21 3.1K 
[ ]pred_absolu.con.types.xml.gz2004-04-08 15:21 3.1K 
[ ]Zabs_3.con.body.xml.gz2004-04-08 15:21 3.1K 
[ ]Zsgn_15.con.types.xml.gz2004-04-08 15:21 3.1K 
[ ]pred_absolu.con.body.xml.gz2004-04-08 15:21 3.1K 
[ ]Zabs_5.con.body.xml.gz2004-04-08 15:21 3.2K 
[ ]Zabs_3.con.types.xml.gz2004-04-08 15:21 3.2K 
[ ]Zle_max_l.con.body.xml.gz2004-04-08 15:21 3.2K 
[ ]pred_absolu_subproof1_subproof.con.types.xml.gz2004-04-08 15:21 3.2K 
[ ]pair_2.con.types.xml.gz2004-04-08 15:21 3.2K 
[ ]Zle_max_r.con.body.xml.gz2004-04-08 15:21 3.2K 
[ ]Zabs_mult.con.types.xml.gz2004-04-08 15:21 3.2K 
[ ]nat_nat_pos.con.types.xml.gz2004-04-08 15:21 3.3K 
[ ]Zmax_case.con.types.xml.gz2004-04-08 15:21 3.3K 
[ ]Zsgn_19.con.body.xml.gz2004-04-08 15:21 3.4K 
[ ]Zrec.con.types.xml.gz2004-04-08 15:21 3.4K 
[ ]Zsgn_20.con.body.xml.gz2004-04-08 15:21 3.4K 
[ ]Zmult_pos_pos.con.types.xml.gz2004-04-08 15:21 3.4K 
[ ]triple_not_equal_zero_subproof.con.body.xml.gz2004-04-08 15:21 3.5K 
[ ]Zmult_pos_neg.con.types.xml.gz2004-04-08 15:21 3.5K 
[ ]Zmult_neg_neg.con.types.xml.gz2004-04-08 15:21 3.5K 
[ ]Zmult_neg_pos.con.types.xml.gz2004-04-08 15:21 3.5K 
[ ]Zmax_or_informative.con.types.xml.gz2004-04-08 15:21 3.6K 
[ ]Zabs_9.con.body.xml.gz2004-04-08 15:21 3.6K 
[ ]pred_absolu_subproof1_subproof.con.body.xml.gz2004-04-08 15:21 3.6K 
[ ]triple_not_equal_zero_subproof.con.types.xml.gz2004-04-08 15:21 3.6K 
[ ]Zabs_5.con.types.xml.gz2004-04-08 15:21 3.6K 
[ ]ZL9.con.types.xml.gz2004-04-08 15:21 3.7K 
[ ]ZL9.con.body.xml.gz2004-04-08 15:21 3.7K 
[ ]Zge_opp.con.types.xml.gz2004-04-08 15:21 3.7K 
[ ]Zsgn_18.con.body.xml.gz2004-04-08 15:21 3.7K 
[ ]Zmin_or_informative.con.body.xml.gz2004-04-08 15:21 3.8K 
[ ]Zind_wf.con.types.xml.gz2004-04-08 15:21 3.8K 
[ ]Zmax_or_informative.con.body.xml.gz2004-04-08 15:21 3.8K 
[ ]Zsgn_21.con.body.xml.gz2004-04-08 15:21 3.9K 
[ ]Zmax_case.con.body.xml.gz2004-04-08 15:21 3.9K 
[ ]Zsgn_22.con.body.xml.gz2004-04-08 15:21 3.9K 
[ ]absolu_plus.con.body.xml.gz2004-04-08 15:21 4.0K 
[ ]Zabs_9.con.types.xml.gz2004-04-08 15:21 4.0K 
[ ]Zabs_2.con.types.xml.gz2004-04-08 15:21 4.1K 
[ ]le_absolu.con.body.xml.gz2004-04-08 15:21 4.1K 
[ ]Zrec_wf.con.body.xml.gz2004-04-08 15:21 4.3K 
[ ]Zind_wf.con.body.xml.gz2004-04-08 15:21 4.3K 
[ ]Zsgn_23.con.body.xml.gz2004-04-08 15:21 4.5K 
[ ]ZmaxSS.con.body.xml.gz2004-04-08 15:21 4.5K 
[ ]Zsgn_24.con.body.xml.gz2004-04-08 15:21 4.5K 
[ ]Zmult_absorb.con.body.xml.gz2004-04-08 15:21 4.8K 
[ ]Zle_max_r.con.types.xml.gz2004-04-08 15:21 4.9K 
[ ]Zle_max_l.con.types.xml.gz2004-04-08 15:21 4.9K 
[ ]Zle_reg_mult_l.con.body.xml.gz2004-04-08 15:21 5.0K 
[ ]Zmult_absorb.con.types.xml.gz2004-04-08 15:21 5.0K 
[ ]Zsgn_17.con.body.xml.gz2004-04-08 15:21 5.2K 
[ ]Zsgn_16.con.body.xml.gz2004-04-08 15:21 5.2K 
[ ]Zrec_down.con.types.xml.gz2004-04-08 15:21 5.2K 
[ ]lt_inj_subproof.con.types.xml.gz2004-04-08 15:21 5.4K 
[ ]Zlt_conv_mult_l.con.body.xml.gz2004-04-08 15:21 5.4K 
[ ]le_inj_subproof.con.types.xml.gz2004-04-08 15:21 5.4K 
[ ]Zsgn_21.con.types.xml.gz2004-04-08 15:21 5.6K 
[ ]le_absolu.con.types.xml.gz2004-04-08 15:21 5.6K 
[ ]Zsgn_22.con.types.xml.gz2004-04-08 15:21 5.7K 
[ ]mediant_3.con.body.xml.gz2004-04-08 15:21 5.9K 
[ ]Zle_reg_mult_l.con.types.xml.gz2004-04-08 15:21 6.5K 
[ ]Zlt_conv_mult_l.con.types.xml.gz2004-04-08 15:21 6.5K 
[ ]ZmaxSS.con.types.xml.gz2004-04-08 15:21 6.6K 
[ ]absolu_plus.con.types.xml.gz2004-04-08 15:21 6.6K 
[ ]Zsgn_23.con.types.xml.gz2004-04-08 15:21 7.1K 
[ ]Zsgn_24.con.types.xml.gz2004-04-08 15:21 7.1K 
[ ]Zsgn_19.con.types.xml.gz2004-04-08 15:21 7.1K 
[ ]Zrec.con.body.xml.gz2004-04-08 15:21 7.1K 
[ ]Zsgn_20.con.types.xml.gz2004-04-08 15:21 7.2K 
[ ]lt_inj_subproof.con.body.xml.gz2004-04-08 15:21 7.5K 
[ ]absolu_1.con.body.xml.gz2004-04-08 15:21 7.5K 
[ ]le_inj_subproof.con.body.xml.gz2004-04-08 15:21 7.5K 
[ ]mediant_3.con.types.xml.gz2004-04-08 15:21 7.8K 
[ ]Zabs_1.con.body.xml.gz2004-04-08 15:21 8.0K 
[ ]fraction_lt_trans.con.body.xml.gz2004-04-08 15:21 8.6K 
[ ]INDEX2005-07-05 08:11 9.2K 
[ ]Zrec_down.con.body.xml.gz2004-04-08 15:21 9.3K 
[ ]absolu_1.con.types.xml.gz2004-04-08 15:21 9.7K 
[ ]fraction_lt_trans.con.types.xml.gz2004-04-08 15:21 10K 
[ ]Zabs_1.con.types.xml.gz2004-04-08 15:21 10K 
[ ]Zind.con.body.xml.gz2004-04-08 15:21 11K 
[ ]lt_absolu.con.body.xml.gz2004-04-08 15:21 11K 
[ ]Zind_down.con.body.xml.gz2004-04-08 15:21 12K 
[ ]Zind.con.types.xml.gz2004-04-08 15:21 14K 
[ ]Zsgn_5.con.body.xml.gz2004-04-08 15:21 15K 
[ ]Zind_down.con.types.xml.gz2004-04-08 15:21 15K 
[ ]lt_absolu.con.types.xml.gz2004-04-08 15:21 15K 
[ ]pred_absolu_subproof0.con.body.xml.gz2004-04-08 15:21 16K 
[ ]pred_absolu_subproof0.con.types.xml.gz2004-04-08 15:21 17K 
[ ]Zabs_plus.con.body.xml.gz2004-04-08 15:21 17K 
[ ]Zsgn_5.con.types.xml.gz2004-04-08 15:21 19K 
[ ]Zabs_plus.con.types.xml.gz2004-04-08 15:21 23K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80