Index of /xml/CoRN/model/Zmod/ZBasics

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]zabs/2005-07-05 08:14 -  
[ ]Zlt_irref.con.types.xml.gz2004-11-09 10:16 204  
[ ]Zlt_irref.con.body.xml.gz2004-11-09 10:16 260  
[ ]Zabs_geq.con.xml.gz2004-11-09 10:16 387  
[ ]Zlt_irref.con.xml.gz2004-11-09 10:16 396  
[ ]Zgt_irref.con.xml.gz2004-11-09 10:16 398  
[ ]Zabs_Zopp_geq.con.xml.gz2004-11-09 10:16 412  
[ ]Zabs_geq_zero.con.xml.gz2004-11-09 10:16 412  
[ ]le_minus.con.xml.gz2004-11-09 10:16 414  
[ ]Zlt_0_POS.con.xml.gz2004-11-09 10:16 415  
[ ]Zgt_0_NEG.con.xml.gz2004-11-09 10:16 416  
[ ]Zle_0_POS.con.xml.gz2004-11-09 10:16 416  
[ ]Zge_0_NEG.con.xml.gz2004-11-09 10:16 417  
[ ]Zge_POS_0.con.xml.gz2004-11-09 10:16 418  
[ ]Zgt_POS_0.con.xml.gz2004-11-09 10:16 419  
[ ]Zle_NEG_0.con.xml.gz2004-11-09 10:16 419  
[ ]Zlt_NEG_0.con.xml.gz2004-11-09 10:16 419  
[ ]Zgt_POS_0.con.body.xml.gz2004-11-09 10:16 420  
[ ]Zlt_0_POS.con.body.xml.gz2004-11-09 10:16 420  
[ ]Zgt_0_NEG.con.body.xml.gz2004-11-09 10:16 422  
[ ]Zgt_Zge.con.xml.gz2004-11-09 10:16 422  
[ ]Zlt_NEG_0.con.body.xml.gz2004-11-09 10:16 422  
[ ]Zge_1_NEG.con.xml.gz2004-11-09 10:16 432  
[ ]Zle_NEG_1.con.xml.gz2004-11-09 10:16 432  
[ ]Zle_1_POS.con.xml.gz2004-11-09 10:16 433  
[ ]Zabs_idemp.con.xml.gz2004-11-09 10:16 435  
[ ]Zge_POS_1.con.xml.gz2004-11-09 10:16 436  
[ ]Zabs_Zopp.con.xml.gz2004-11-09 10:16 438  
[ ]Zgt_Zge_subproof.con.xml.gz2004-11-09 10:16 440  
[ ]Zsgn_opp.con.xml.gz2004-11-09 10:16 448  
[ ]Zle_neg_pos.con.xml.gz2004-11-09 10:16 449  
[ ]Zmult_sgn_abs.con.xml.gz2004-11-09 10:16 450  
[ ]le_trans.con.xml.gz2004-11-09 10:16 454  
[ ]Zmult_sgn_eq_abs.con.xml.gz2004-11-09 10:16 456  
[ ]Zsgn_neg_subproof.con.xml.gz2004-11-09 10:16 460  
[ ]Zabs_zero.con.xml.gz2004-11-09 10:16 461  
[ ]Zsgn_ZERO.con.xml.gz2004-11-09 10:16 462  
[ ]Zsgn_pos_subproof.con.xml.gz2004-11-09 10:16 462  
[ ]Zabs_lt_pos.con.xml.gz2004-11-09 10:16 465  
[ ]ZPOS_neq_ZERO.con.xml.gz2004-11-09 10:16 467  
[ ]Zabs_le_pos.con.xml.gz2004-11-09 10:16 467  
[ ]Zdec.con.xml.gz2004-11-09 10:16 467  
[ ]ZNEG_neq_ZERO.con.xml.gz2004-11-09 10:16 470  
[ ]Zabs_elim_nonneg.con.xml.gz2004-11-09 10:16 479  
[ ]Zgt_Zge.con.body.xml.gz2004-11-09 10:16 480  
[ ]Zle_antisymm.con.xml.gz2004-11-09 10:16 480  
[ ]Zabs_Zminus_symm_subproof.con.xml.gz2004-11-09 10:16 489  
[ ]Zabs_Zminus_symm.con.xml.gz2004-11-09 10:16 493  
[ ]Zsgn_neg.con.xml.gz2004-11-09 10:16 494  
[ ]Zabs_Zminus_symm_subproof0.con.xml.gz2004-11-09 10:16 495  
[ ]Zabs_le_elim.con.xml.gz2004-11-09 10:16 495  
[ ]Zabs_lt_elim.con.xml.gz2004-11-09 10:16 495  
[ ]Zabs_nonneg.con.xml.gz2004-11-09 10:16 495  
[ ]Zsgn_pos.con.xml.gz2004-11-09 10:16 497  
[ ]Zabs_Zminus_triangle_subproof.con.xml.gz2004-11-09 10:16 498  
[ ]Zcompat_lt_plus.con.xml.gz2004-11-09 10:16 498  
[ ]Zabs_Zminus_triangle_subproof0.con.xml.gz2004-11-09 10:16 501  
[ ]Zabs_mult_compat.con.xml.gz2004-11-09 10:16 501  
[ ]Zsgn_mult_compat.con.xml.gz2004-11-09 10:16 501  
[ ]Zmult_pos_mon.con.xml.gz2004-11-09 10:16 502  
[ ]Zmult_pos_mon_subproof.con.xml.gz2004-11-09 10:16 502  
[ ]Zgt_Zge.con.types.xml.gz2004-11-09 10:16 503  
[ ]Zdiv_pos_pos.con.xml.gz2004-11-09 10:16 504  
[ ]Zle_antisymm_subproof.con.xml.gz2004-11-09 10:16 504  
[ ]Zdiv_pos_neg.con.xml.gz2004-11-09 10:16 507  
[ ]Zle_neq_lt.con.xml.gz2004-11-09 10:16 507  
[ ]minus_n_minus_n_k.con.xml.gz2004-11-09 10:16 507  
[ ]Zdiv_neg_pos.con.xml.gz2004-11-09 10:16 508  
[ ]Zge_gt_pred.con.xml.gz2004-11-09 10:16 510  
[ ]Zge_gt_succ.con.xml.gz2004-11-09 10:16 510  
[ ]Zgt_ge_pred.con.xml.gz2004-11-09 10:16 510  
[ ]Zgt_ge_succ.con.xml.gz2004-11-09 10:16 510  
[ ]Zdiv_neg_neg.con.xml.gz2004-11-09 10:16 511  
[ ]Zdiv_neg_nonpos.con.xml.gz2004-11-09 10:16 513  
[ ]Zdiv_pos_nonneg.con.xml.gz2004-11-09 10:16 514  
[ ]Zdiv_neg_nonneg.con.xml.gz2004-11-09 10:16 515  
[ ]Zdiv_pos_nonpos.con.xml.gz2004-11-09 10:16 517  
[ ]Zlt_asymmetric.con.xml.gz2004-11-09 10:16 518  
[ ]Zabs_triangle.con.xml.gz2004-11-09 10:16 522  
[ ]Zcompat_lt_plus.con.body.xml.gz2004-11-09 10:16 523  
[ ]Zle_neq_lt_subproof.con.xml.gz2004-11-09 10:16 524  
[ ]Zsgn_pos_subproof0.con.xml.gz2004-11-09 10:16 524  
[ ]succ_nat.con.xml.gz2004-11-09 10:16 524  
[ ]Zsgn_neg_subproof0.con.xml.gz2004-11-09 10:16 525  
[ ]Zgt_ge_succ_subproof.con.xml.gz2004-11-09 10:16 527  
[ ]Zge_gt_succ_subproof.con.xml.gz2004-11-09 10:16 528  
[ ]Zge_gt_pred_subproof.con.xml.gz2004-11-09 10:16 529  
[ ]Zgt_ge_pred_subproof.con.xml.gz2004-11-09 10:16 531  
[ ]Zsgn_plus_r.con.xml.gz2004-11-09 10:16 534  
[ ]unique_unit.con.xml.gz2004-11-09 10:16 536  
[ ]Zle_antisymm.con.body.xml.gz2004-11-09 10:16 537  
[ ]Zsgn_plus_l.con.xml.gz2004-11-09 10:16 538  
[ ]Zmult_zero_div.con.xml.gz2004-11-09 10:16 545  
[ ]minus_n_Sk.con.xml.gz2004-11-09 10:16 547  
[ ]Zabs_Zminus_triangle.con.xml.gz2004-11-09 10:16 550  
[ ]Zgt_irref.con.body.xml.gz2004-11-09 10:16 553  
[ ]Zmult_pos_mon_le_rht.con.xml.gz2004-11-09 10:16 555  
[ ]Zmult_pos_mon_le_lft.con.xml.gz2004-11-09 10:16 556  
[ ]Zmult_pos_mon_lt_lft.con.xml.gz2004-11-09 10:16 556  
[ ]Zmult_pos_mon_lt_rht.con.xml.gz2004-11-09 10:16 556  
[ ]Zmult_pos_mon_subproof1.con.xml.gz2004-11-09 10:16 563  
[ ]Zle_antisymm.con.types.xml.gz2004-11-09 10:16 565  
[ ]Zge_gt_succ.con.body.xml.gz2004-11-09 10:16 568  
[ ]Zgt_ge_pred.con.body.xml.gz2004-11-09 10:16 569  
[ ]Zge_gt_pred.con.body.xml.gz2004-11-09 10:16 570  
[ ]Zgt_ge_succ.con.body.xml.gz2004-11-09 10:16 570  
[ ]Zmult_no_zero_div.con.xml.gz2004-11-09 10:16 575  
[ ]Zmult_pos_mon_subproof0.con.xml.gz2004-11-09 10:16 575  
[ ]Zabs_le_pos.con.body.xml.gz2004-11-09 10:16 578  
[ ]Zle_neq_lt.con.body.xml.gz2004-11-09 10:16 580  
[ ]lt_succ_Z_of_nat.con.xml.gz2004-11-09 10:16 582  
[ ]Zle_neq_lt.con.types.xml.gz2004-11-09 10:16 584  
[ ]Zunit_eq_one.con.xml.gz2004-11-09 10:16 587  
[ ]Zge_gt_pred.con.types.xml.gz2004-11-09 10:16 591  
[ ]Zge_gt_succ.con.types.xml.gz2004-11-09 10:16 591  
[ ]Zgt_ge_succ.con.types.xml.gz2004-11-09 10:16 591  
[ ]Zgt_ge_pred.con.types.xml.gz2004-11-09 10:16 592  
[ ]Zabs_le_pos.con.types.xml.gz2004-11-09 10:16 593  
[ ]Zgt_POS_0.con.types.xml.gz2004-11-09 10:16 593  
[ ]Zlt_0_POS.con.types.xml.gz2004-11-09 10:16 594  
[ ]Zlt_NEG_0.con.types.xml.gz2004-11-09 10:16 594  
[ ]Zgt_0_NEG.con.types.xml.gz2004-11-09 10:16 595  
[ ]Zmult_intro_lft.con.xml.gz2004-11-09 10:16 595  
[ ]Zmult_intro_rht.con.xml.gz2004-11-09 10:16 596  
[ ]Zmult_pos_mon_le_lft.con.body.xml.gz2004-11-09 10:16 597  
[ ]Zmult_pos_mon_le_rht.con.body.xml.gz2004-11-09 10:16 597  
[ ]Zmult_unit_oneforall.con.xml.gz2004-11-09 10:16 607  
[ ]Zcompat_lt_plus.con.types.xml.gz2004-11-09 10:16 615  
[ ]Zmult_pos_mon_lt_lft_subproof.con.xml.gz2004-11-09 10:16 617  
[ ]Zabs_Zopp_geq.con.body.xml.gz2004-11-09 10:16 623  
[ ]Zgt_irref.con.types.xml.gz2004-11-09 10:16 651  
[ ]Zabs_Zopp_geq.con.types.xml.gz2004-11-09 10:16 653  
[ ]Zmult_intro_lft_subproof.con.xml.gz2004-11-09 10:16 665  
[ ]Zmult_pos_mon_le_lft.con.types.xml.gz2004-11-09 10:16 667  
[ ]Zmult_pos_mon_le_rht.con.types.xml.gz2004-11-09 10:16 668  
[ ]Zmult_intro_lft_subproof0.con.xml.gz2004-11-09 10:16 676  
[ ]Zabs_Zminus_triangle_subproof1.con.xml.gz2004-11-09 10:16 700  
[ ]Zabs_geq_zero.con.body.xml.gz2004-11-09 10:16 703  
[ ]Zabs_Zminus_triangle_subproof2.con.xml.gz2004-11-09 10:16 704  
[ ]Zunit_eq_one.con.body.xml.gz2004-11-09 10:16 716  
[ ]lt_succ_Z_of_nat_subproof.con.xml.gz2004-11-09 10:16 748  
[ ]Zsgn_opp.con.body.xml.gz2004-11-09 10:16 759  
[ ]Zmult_sgn_abs.con.body.xml.gz2004-11-09 10:16 787  
[ ]Zabs_idemp.con.body.xml.gz2004-11-09 10:16 807  
[ ]Zabs_Zopp.con.body.xml.gz2004-11-09 10:16 809  
[ ]Zle_neg_pos.con.body.xml.gz2004-11-09 10:16 812  
[ ]Zunit_eq_one.con.types.xml.gz2004-11-09 10:16 816  
[ ]Zsgn_plus_r.con.types.xml.gz2004-11-09 10:16 830  
[ ]Zle_neg_pos.con.types.xml.gz2004-11-09 10:16 867  
[ ]Zabs_geq.con.body.xml.gz2004-11-09 10:16 876  
[ ]unique_unit.con.types.xml.gz2004-11-09 10:16 881  
[ ]Zsgn_plus_r.con.body.xml.gz2004-11-09 10:16 885  
[ ]ZNEG_neq_ZERO.con.body.xml.gz2004-11-09 10:16 900  
[ ]ZPOS_neq_ZERO.con.body.xml.gz2004-11-09 10:16 902  
[ ]Zabs_geq_zero.con.types.xml.gz2004-11-09 10:16 912  
[ ]Zmult_sgn_eq_abs.con.body.xml.gz2004-11-09 10:16 922  
[ ]ZNEG_neq_ZERO.con.types.xml.gz2004-11-09 10:16 947  
[ ]ZPOS_neq_ZERO.con.types.xml.gz2004-11-09 10:16 949  
[ ]Zmult_pos_mon_lt_lft_subproof1.con.xml.gz2004-11-09 10:16 1.0K 
[ ]Zmult_pos_mon_lt_lft_subproof2.con.xml.gz2004-11-09 10:16 1.0K 
[ ]unique_unit.con.body.xml.gz2004-11-09 10:16 1.0K 
[ ]Zmult_pos_mon_lt_rht.con.types.xml.gz2004-11-09 10:16 1.0K 
[ ]Zabs_le_elim.con.body.xml.gz2004-11-09 10:16 1.0K 
[ ]Zabs_lt_elim.con.body.xml.gz2004-11-09 10:16 1.0K 
[ ]Zabs_elim_nonneg.con.body.xml.gz2004-11-09 10:16 1.0K 
[ ]Zmult_pos_mon_lt_rht.con.body.xml.gz2004-11-09 10:16 1.1K 
[ ]lt_succ_Z_of_nat.con.body.xml.gz2004-11-09 10:16 1.1K 
[ ]Zmult_intro_rht.con.types.xml.gz2004-11-09 10:16 1.1K 
[ ]le_minus.con.body.xml.gz2004-11-09 10:16 1.1K 
[ ]Zmult_intro_rht.con.body.xml.gz2004-11-09 10:16 1.1K 
[ ]Zmult_pos_mon_lt_lft_subproof0.con.xml.gz2004-11-09 10:16 1.1K 
[ ]Zge_POS_0.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zle_NEG_0.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zge_0_NEG.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zle_0_POS.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zmult_no_zero_div.con.body.xml.gz2004-11-09 10:16 1.2K 
[ ]Zdec.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zsgn_opp.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zabs_idemp.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zabs_Zopp.con.types.xml.gz2004-11-09 10:16 1.2K 
[ ]Zsgn_neg.con.body.xml.gz2004-11-09 10:16 1.3K 
[ ]Zmult_sgn_abs.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]lt_succ_Z_of_nat.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zsgn_pos_subproof.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zsgn_neg_subproof.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zmult_no_zero_div.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zsgn_pos.con.body.xml.gz2004-11-09 10:16 1.3K 
[ ]Zmult_unit_oneforall.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]succ_nat.con.body.xml.gz2004-11-09 10:16 1.3K 
[ ]Zabs_lt_pos.con.body.xml.gz2004-11-09 10:16 1.3K 
[ ]Zabs_le_elim.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zabs_lt_elim.con.types.xml.gz2004-11-09 10:16 1.3K 
[ ]Zabs_Zminus_symm.con.body.xml.gz2004-11-09 10:16 1.4K 
[ ]le_minus.con.types.xml.gz2004-11-09 10:16 1.4K 
[ ]Zmult_sgn_eq_abs.con.types.xml.gz2004-11-09 10:16 1.4K 
[ ]Zge_POS_0.con.body.xml.gz2004-11-09 10:16 1.4K 
[ ]Zle_NEG_0.con.body.xml.gz2004-11-09 10:16 1.4K 
[ ]Zge_0_NEG.con.body.xml.gz2004-11-09 10:16 1.4K 
[ ]Zle_0_POS.con.body.xml.gz2004-11-09 10:16 1.4K 
[ ]Zabs_Zminus_symm.con.types.xml.gz2004-11-09 10:16 1.4K 
[ ]Zabs_elim_nonneg.con.types.xml.gz2004-11-09 10:16 1.5K 
[ ]Zabs_lt_pos.con.types.xml.gz2004-11-09 10:16 1.5K 
[ ]Zsgn_pos_subproof.con.body.xml.gz2004-11-09 10:16 1.5K 
[ ]Zsgn_neg_subproof.con.body.xml.gz2004-11-09 10:16 1.5K 
[ ]Zsgn_ZERO.con.body.xml.gz2004-11-09 10:16 1.6K 
[ ]Zmult_unit_oneforall.con.body.xml.gz2004-11-09 10:16 1.6K 
[ ]Zabs_zero.con.body.xml.gz2004-11-09 10:16 1.6K 
[ ]Zsgn_pos_subproof0.con.types.xml.gz2004-11-09 10:16 1.7K 
[ ]Zsgn_neg_subproof0.con.types.xml.gz2004-11-09 10:16 1.7K 
[ ]Zsgn_neg.con.types.xml.gz2004-11-09 10:16 1.7K 
[ ]Zabs_geq.con.types.xml.gz2004-11-09 10:16 1.7K 
[ ]Zsgn_pos.con.types.xml.gz2004-11-09 10:16 1.8K 
[ ]Zabs_zero.con.types.xml.gz2004-11-09 10:16 1.8K 
[ ]Zmult_pos_mon_subproof.con.types.xml.gz2004-11-09 10:16 1.8K 
[ ]Zabs_nonneg.con.body.xml.gz2004-11-09 10:16 1.8K 
[ ]Zdec.con.body.xml.gz2004-11-09 10:16 1.9K 
[ ]Zsgn_pos_subproof0.con.body.xml.gz2004-11-09 10:16 2.0K 
[ ]Zsgn_neg_subproof0.con.body.xml.gz2004-11-09 10:16 2.0K 
[ ]Zmult_pos_mon_subproof.con.body.xml.gz2004-11-09 10:16 2.0K 
[ ]Zabs_nonneg.con.types.xml.gz2004-11-09 10:16 2.0K 
[ ]Zmult_intro_lft.con.types.xml.gz2004-11-09 10:16 2.1K 
[ ]succ_nat.con.types.xml.gz2004-11-09 10:16 2.1K 
[ ]Zsgn_ZERO.con.types.xml.gz2004-11-09 10:16 2.1K 
[ ]Zabs_mult_compat.con.body.xml.gz2004-11-09 10:16 2.2K 
[ ]Zsgn_mult_compat.con.body.xml.gz2004-11-09 10:16 2.2K 
[ ]Zmult_intro_lft.con.body.xml.gz2004-11-09 10:16 2.3K 
[ ]Zmult_pos_mon_subproof0.con.types.xml.gz2004-11-09 10:16 2.5K 
[ ]Zmult_pos_mon_subproof0.con.body.xml.gz2004-11-09 10:16 2.6K 
[ ]Zle_NEG_1.con.types.xml.gz2004-11-09 10:16 2.7K 
[ ]Zge_POS_1.con.types.xml.gz2004-11-09 10:16 2.7K 
[ ]Zge_1_NEG.con.types.xml.gz2004-11-09 10:16 2.7K 
[ ]Zle_1_POS.con.types.xml.gz2004-11-09 10:16 2.7K 
[ ]minus_n_minus_n_k.con.body.xml.gz2004-11-09 10:16 2.7K 
[ ]minus_n_minus_n_k.con.types.xml.gz2004-11-09 10:16 2.8K 
[ ]Zge_1_NEG.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]Zle_1_POS.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]Zge_POS_1.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]Zle_NEG_1.con.body.xml.gz2004-11-09 10:16 3.1K 
[ ]Zgt_Zge_subproof.con.types.xml.gz2004-11-09 10:16 3.2K 
[ ]Zge_gt_pred_subproof.con.types.xml.gz2004-11-09 10:16 3.3K 
[ ]Zge_gt_succ_subproof.con.types.xml.gz2004-11-09 10:16 3.3K 
[ ]Zgt_ge_succ_subproof.con.types.xml.gz2004-11-09 10:16 3.5K 
[ ]Zmult_pos_mon.con.body.xml.gz2004-11-09 10:16 3.6K 
[ ]Zsgn_plus_l.con.body.xml.gz2004-11-09 10:16 3.6K 
[ ]Zabs_Zminus_triangle_subproof.con.types.xml.gz2004-11-09 10:16 3.7K 
[ ]Zgt_ge_pred_subproof.con.types.xml.gz2004-11-09 10:16 3.8K 
[ ]Zdiv_neg_neg.con.body.xml.gz2004-11-09 10:16 3.9K 
[ ]Zmult_pos_mon_subproof1.con.types.xml.gz2004-11-09 10:16 4.0K 
[ ]Zdiv_neg_nonpos.con.body.xml.gz2004-11-09 10:16 4.0K 
[ ]Zdiv_pos_pos.con.body.xml.gz2004-11-09 10:16 4.0K 
[ ]Zmult_pos_mon_lt_lft_subproof.con.types.xml.gz2004-11-09 10:16 4.1K 
[ ]Zdiv_pos_neg.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]Zdiv_neg_nonneg.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]Zdiv_neg_pos.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]Zdiv_pos_nonneg.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]Zdiv_pos_nonpos.con.body.xml.gz2004-11-09 10:16 4.1K 
[ ]Zge_gt_succ_subproof.con.body.xml.gz2004-11-09 10:16 4.2K 
[ ]Zgt_Zge_subproof.con.body.xml.gz2004-11-09 10:16 4.2K 
[ ]Zabs_Zminus_triangle_subproof.con.body.xml.gz2004-11-09 10:16 4.3K 
[ ]Zabs_mult_compat.con.types.xml.gz2004-11-09 10:16 4.3K 
[ ]Zsgn_mult_compat.con.types.xml.gz2004-11-09 10:16 4.3K 
[ ]Zmult_pos_mon.con.types.xml.gz2004-11-09 10:16 4.3K 
[ ]Zlt_asymmetric.con.types.xml.gz2004-11-09 10:16 4.3K 
[ ]Zge_gt_pred_subproof.con.body.xml.gz2004-11-09 10:16 4.4K 
[ ]le_trans.con.body.xml.gz2004-11-09 10:16 4.4K 
[ ]Zmult_intro_lft_subproof.con.types.xml.gz2004-11-09 10:16 4.4K 
[ ]Zgt_ge_succ_subproof.con.body.xml.gz2004-11-09 10:16 4.4K 
[ ]Zmult_zero_div.con.body.xml.gz2004-11-09 10:16 4.5K 
[ ]le_trans.con.types.xml.gz2004-11-09 10:16 4.5K 
[ ]Zgt_ge_pred_subproof.con.body.xml.gz2004-11-09 10:16 4.6K 
[ ]Zmult_pos_mon_subproof1.con.body.xml.gz2004-11-09 10:16 4.8K 
[ ]Zmult_intro_lft_subproof.con.body.xml.gz2004-11-09 10:16 4.9K 
[ ]Zabs_Zminus_triangle_subproof0.con.types.xml.gz2004-11-09 10:16 5.0K 
[ ]Zmult_pos_mon_lt_lft_subproof.con.body.xml.gz2004-11-09 10:16 5.2K 
[ ]minus_n_Sk.con.body.xml.gz2004-11-09 10:16 5.8K 
[ ]Zabs_Zminus_symm_subproof0.con.types.xml.gz2004-11-09 10:16 5.9K 
[ ]Zabs_Zminus_triangle.con.body.xml.gz2004-11-09 10:16 5.9K 
[ ]Zle_antisymm_subproof.con.types.xml.gz2004-11-09 10:16 5.9K 
[ ]Zmult_intro_lft_subproof0.con.types.xml.gz2004-11-09 10:16 6.0K 
[ ]Zabs_Zminus_triangle_subproof0.con.body.xml.gz2004-11-09 10:16 6.0K 
[ ]Zabs_Zminus_symm_subproof.con.types.xml.gz2004-11-09 10:16 6.0K 
[ ]INDEX2005-07-05 08:13 6.1K 
[ ]Zabs_Zminus_triangle.con.types.xml.gz2004-11-09 10:16 6.1K 
[ ]Zle_neq_lt_subproof.con.types.xml.gz2004-11-09 10:16 6.1K 
[ ]Zmult_zero_div.con.types.xml.gz2004-11-09 10:16 6.1K 
[ ]Zlt_asymmetric.con.body.xml.gz2004-11-09 10:16 6.3K 
[ ]Zmult_intro_lft_subproof0.con.body.xml.gz2004-11-09 10:16 6.6K 
[ ]Zabs_Zminus_symm_subproof.con.body.xml.gz2004-11-09 10:16 6.8K 
[ ]Zabs_Zminus_symm_subproof0.con.body.xml.gz2004-11-09 10:16 7.0K 
[ ]Zle_antisymm_subproof.con.body.xml.gz2004-11-09 10:16 7.2K 
[ ]minus_n_Sk.con.types.xml.gz2004-11-09 10:16 7.2K 
[ ]Zle_neq_lt_subproof.con.body.xml.gz2004-11-09 10:16 7.4K 
[ ]Zdiv_neg_neg.con.types.xml.gz2004-11-09 10:16 7.5K 
[ ]Zdiv_pos_neg.con.types.xml.gz2004-11-09 10:16 7.7K 
[ ]Zmult_pos_mon_lt_lft.con.body.xml.gz2004-11-09 10:16 7.7K 
[ ]Zdiv_pos_pos.con.types.xml.gz2004-11-09 10:16 7.7K 
[ ]Zdiv_neg_nonpos.con.types.xml.gz2004-11-09 10:16 7.8K 
[ ]Zdiv_neg_nonneg.con.types.xml.gz2004-11-09 10:16 7.8K 
[ ]Zdiv_pos_nonneg.con.types.xml.gz2004-11-09 10:16 7.8K 
[ ]Zdiv_neg_pos.con.types.xml.gz2004-11-09 10:16 7.9K 
[ ]Zdiv_pos_nonpos.con.types.xml.gz2004-11-09 10:16 7.9K 
[ ]lt_succ_Z_of_nat_subproof.con.types.xml.gz2004-11-09 10:16 7.9K 
[ ]Zabs_triangle.con.body.xml.gz2004-11-09 10:16 8.3K 
[ ]Zabs_Zminus_triangle_subproof2.con.types.xml.gz2004-11-09 10:16 8.5K 
[ ]Zabs_Zminus_triangle_subproof1.con.types.xml.gz2004-11-09 10:16 8.6K 
[ ]Zsgn_plus_l.con.types.xml.gz2004-11-09 10:16 8.8K 
[ ]lt_succ_Z_of_nat_subproof.con.body.xml.gz2004-11-09 10:16 9.4K 
[ ]Zmult_pos_mon_lt_lft.con.types.xml.gz2004-11-09 10:16 9.9K 
[ ]Zabs_Zminus_triangle_subproof2.con.body.xml.gz2004-11-09 10:16 10K 
[ ]Zmult_pos_mon_lt_lft_subproof2.con.types.xml.gz2004-11-09 10:16 10K 
[ ]Zmult_pos_mon_lt_lft_subproof1.con.types.xml.gz2004-11-09 10:16 10K 
[ ]Zabs_Zminus_triangle_subproof1.con.body.xml.gz2004-11-09 10:16 10K 
[ ]Zabs_triangle.con.types.xml.gz2004-11-09 10:16 12K 
[ ]Zmult_pos_mon_lt_lft_subproof1.con.body.xml.gz2004-11-09 10:16 12K 
[ ]Zmult_pos_mon_lt_lft_subproof2.con.body.xml.gz2004-11-09 10:16 12K 
[ ]Zmult_pos_mon_lt_lft_subproof0.con.types.xml.gz2004-11-09 10:16 16K 
[ ]Zmult_pos_mon_lt_lft_subproof0.con.body.xml.gz2004-11-09 10:16 19K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80