Index of /xml/Coq/ZArith/Zorder

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Zgt_succ.con.body.xml.gz2004-04-08 01:29 254  
[ ]Zgt_trans.con.body.xml.gz2004-04-08 01:29 254  
[ ]Zle_0_1.con.body.xml.gz2004-04-08 01:29 305  
[ ]Zlt_0_1.con.body.xml.gz2004-04-08 01:29 305  
[ ]Zle_0_1.con.xml.gz2004-04-08 01:29 333  
[ ]Zlt_0_1.con.xml.gz2004-04-08 01:29 333  
[ ]Zle_refl.con.xml.gz2004-04-08 01:29 366  
[ ]Zlt_succ.con.xml.gz2004-04-08 01:29 387  
[ ]Zlt_pred.con.xml.gz2004-04-08 01:29 388  
[ ]Zle_pred.con.xml.gz2004-04-08 01:29 389  
[ ]Zle_succ.con.xml.gz2004-04-08 01:29 389  
[ ]Zgt_succ.con.xml.gz2004-04-08 01:29 390  
[ ]Zgt_irrefl.con.xml.gz2004-04-08 01:29 399  
[ ]Zlt_irrefl.con.xml.gz2004-04-08 01:29 399  
[ ]Zle_0_1.con.types.xml.gz2004-04-08 01:29 405  
[ ]Zlt_0_1.con.types.xml.gz2004-04-08 01:29 405  
[ ]Zgt_pos_0.con.body.xml.gz2004-04-08 01:29 414  
[ ]Zle_0_pos.con.xml.gz2004-04-08 01:29 414  
[ ]Zlt_neg_0.con.body.xml.gz2004-04-08 01:29 415  
[ ]Zgt_pos_0.con.xml.gz2004-04-08 01:29 417  
[ ]dec_Zgt.con.xml.gz2004-04-08 01:29 417  
[ ]dec_Zle.con.xml.gz2004-04-08 01:29 417  
[ ]dec_Zlt.con.xml.gz2004-04-08 01:29 417  
[ ]Zle_0_nat.con.xml.gz2004-04-08 01:29 418  
[ ]dec_Zge.con.xml.gz2004-04-08 01:29 418  
[ ]Zgt_lt.con.xml.gz2004-04-08 01:29 419  
[ ]Zlt_gt.con.xml.gz2004-04-08 01:29 419  
[ ]Zlt_neg_0.con.xml.gz2004-04-08 01:29 419  
[ ]dec_Zne.con.xml.gz2004-04-08 01:29 419  
[ ]Znot_le_succ.con.xml.gz2004-04-08 01:29 420  
[ ]Zge_le.con.xml.gz2004-04-08 01:29 422  
[ ]Zle_ge.con.xml.gz2004-04-08 01:29 422  
[ ]Zlt_le_weak.con.xml.gz2004-04-08 01:29 426  
[ ]dec_eq.con.xml.gz2004-04-08 01:29 426  
[ ]Zlt_succ.con.body.xml.gz2004-04-08 01:29 430  
[ ]Zle_not_gt.con.body.xml.gz2004-04-08 01:29 432  
[ ]Zeq_le.con.xml.gz2004-04-08 01:29 434  
[ ]Znot_le_succ.con.body.xml.gz2004-04-08 01:29 438  
[ ]Zle_or_lt.con.xml.gz2004-04-08 01:29 443  
[ ]Zle_le_succ.con.xml.gz2004-04-08 01:29 446  
[ ]Zlt_lt_succ.con.xml.gz2004-04-08 01:29 447  
[ ]Zle_lt_succ.con.xml.gz2004-04-08 01:29 448  
[ ]Zlt_le_succ.con.xml.gz2004-04-08 01:29 448  
[ ]Zle_neg_pos.con.xml.gz2004-04-08 01:29 449  
[ ]Zgt_irrefl.con.body.xml.gz2004-04-08 01:29 450  
[ ]Zlt_irrefl.con.body.xml.gz2004-04-08 01:29 450  
[ ]Zge_iff_le.con.xml.gz2004-04-08 01:29 451  
[ ]Zgt_iff_lt.con.xml.gz2004-04-08 01:29 451  
[ ]Zgt_asym.con.xml.gz2004-04-08 01:29 452  
[ ]Zlt_asym.con.xml.gz2004-04-08 01:29 452  
[ ]Zlt_gt_succ.con.xml.gz2004-04-08 01:29 452  
[ ]Zlt_succ_le.con.xml.gz2004-04-08 01:29 452  
[ ]Zle_succ_le.con.xml.gz2004-04-08 01:29 453  
[ ]Zgt_le_succ.con.xml.gz2004-04-08 01:29 455  
[ ]Zgt_succ_le.con.xml.gz2004-04-08 01:29 455  
[ ]Zgt_not_le.con.xml.gz2004-04-08 01:29 456  
[ ]Zle_not_gt.con.xml.gz2004-04-08 01:29 456  
[ ]Zle_not_lt.con.xml.gz2004-04-08 01:29 456  
[ ]Zlt_not_le.con.xml.gz2004-04-08 01:29 456  
[ ]Zlt_0_le_0_pred.con.xml.gz2004-04-08 01:29 457  
[ ]Zlt_succ_gt.con.xml.gz2004-04-08 01:29 458  
[ ]Zgt_0_le_0_pred.con.xml.gz2004-04-08 01:29 460  
[ ]Zle_trans.con.xml.gz2004-04-08 01:29 461  
[ ]Zsucc_gt_reg.con.xml.gz2004-04-08 01:29 461  
[ ]Znot_ge_lt.con.xml.gz2004-04-08 01:29 462  
[ ]Znot_gt_le.con.body.xml.gz2004-04-08 01:29 462  
[ ]Znot_le_gt.con.xml.gz2004-04-08 01:29 462  
[ ]Znot_gt_le.con.xml.gz2004-04-08 01:29 463  
[ ]Zsucc_le_reg.con.xml.gz2004-04-08 01:29 463  
[ ]Zgt_trans.con.xml.gz2004-04-08 01:29 464  
[ ]Zlt_trans.con.xml.gz2004-04-08 01:29 464  
[ ]Znot_lt_ge.con.xml.gz2004-04-08 01:29 464  
[ ]Zge_trans.con.xml.gz2004-04-08 01:29 465  
[ ]Zsucc_lt_reg.con.xml.gz2004-04-08 01:29 467  
[ ]Zlt_not_eq.con.xml.gz2004-04-08 01:29 468  
[ ]Zsucc_le_compat.con.xml.gz2004-04-08 01:29 469  
[ ]Zle_lt_trans.con.xml.gz2004-04-08 01:29 470  
[ ]Zlt_le_trans.con.xml.gz2004-04-08 01:29 470  
[ ]Zlt_succ_pred.con.xml.gz2004-04-08 01:29 470  
[ ]Zsucc_gt_compat.con.xml.gz2004-04-08 01:29 470  
[ ]Zsucc_lt_compat.con.xml.gz2004-04-08 01:29 472  
[ ]Zgt_succ_pred.con.xml.gz2004-04-08 01:29 473  
[ ]Zle_antisym.con.xml.gz2004-04-08 01:29 478  
[ ]Zle_gt_trans.con.xml.gz2004-04-08 01:29 480  
[ ]Zlt_O_minus_lt.con.xml.gz2004-04-08 01:29 482  
[ ]Zgt_le_trans.con.xml.gz2004-04-08 01:29 483  
[ ]Zgt_not_le.con.body.xml.gz2004-04-08 01:29 489  
[ ]Zlt_minus_simpl_swap.con.xml.gz2004-04-08 01:29 491  
[ ]Zplus_gt_reg_l.con.xml.gz2004-04-08 01:29 495  
[ ]Zplus_gt_reg_r.con.xml.gz2004-04-08 01:29 495  
[ ]Zplus_le_reg_r.con.xml.gz2004-04-08 01:29 495  
[ ]Zplus_lt_reg_r.con.xml.gz2004-04-08 01:29 495  
[ ]Zplus_lt_reg_l.con.xml.gz2004-04-08 01:29 497  
[ ]Zplus_le_compat_l.con.xml.gz2004-04-08 01:29 499  
[ ]Zplus_le_reg_l.con.xml.gz2004-04-08 01:29 499  
[ ]Zle_lt_or_eq.con.xml.gz2004-04-08 01:29 500  
[ ]Zplus_gt_compat_l.con.xml.gz2004-04-08 01:29 500  
[ ]Zge_trans_succ.con.xml.gz2004-04-08 01:29 501  
[ ]Zplus_lt_compat_l.con.xml.gz2004-04-08 01:29 502  
[ ]Zplus_gt_compat_r.con.xml.gz2004-04-08 01:29 503  
[ ]Zplus_lt_compat_r.con.xml.gz2004-04-08 01:29 503  
[ ]Zplus_le_compat_r.con.xml.gz2004-04-08 01:29 504  
[ ]Zgt_0_le_0_pred.con.body.xml.gz2004-04-08 01:29 505  
[ ]Ztrichotomy.con.xml.gz2004-04-08 01:29 508  
[ ]Zmult_lt_O_compat.con.xml.gz2004-04-08 01:29 509  
[ ]Zlt_le_succ.con.body.xml.gz2004-04-08 01:29 510  
[ ]Zlt_succ.con.types.xml.gz2004-04-08 01:29 512  
[ ]Zmult_gt_0_reg_l.con.xml.gz2004-04-08 01:29 512  
[ ]Zmult_le_0_compat.con.xml.gz2004-04-08 01:29 512  
[ ]Zplus_le_0_compat.con.xml.gz2004-04-08 01:29 512  
[ ]Zmult_gt_0_compat.con.xml.gz2004-04-08 01:29 513  
[ ]Zmult_lt_0_reg_r.con.xml.gz2004-04-08 01:29 513  
[ ]not_Zeq.con.xml.gz2004-04-08 01:29 513  
[ ]Zmult_le_0_reg_r.con.xml.gz2004-04-08 01:29 517  
[ ]Ztrichotomy_inf.con.xml.gz2004-04-08 01:29 520  
[ ]Zlt_not_le.con.body.xml.gz2004-04-08 01:29 522  
[ ]Zle_le_succ.con.body.xml.gz2004-04-08 01:29 524  
[ ]Zmult_gt_0_lt_0_reg_r.con.xml.gz2004-04-08 01:29 524  
[ ]Zmult_gt_0_le_0_compat.con.xml.gz2004-04-08 01:29 525  
[ ]Zeq_le.con.types.xml.gz2004-04-08 01:29 526  
[ ]Zle_plus_swap.con.xml.gz2004-04-08 01:29 527  
[ ]Zlt_plus_swap.con.xml.gz2004-04-08 01:29 527  
[ ]Zgt_succ_gt_or_eq.con.xml.gz2004-04-08 01:29 531  
[ ]Zlt_gt_succ.con.body.xml.gz2004-04-08 01:29 532  
[ ]Zle_lt_succ.con.body.xml.gz2004-04-08 01:29 536  
[ ]Znot_lt_ge.con.body.xml.gz2004-04-08 01:29 536  
[ ]Zle_succ_le.con.body.xml.gz2004-04-08 01:29 537  
[ ]Zle_succ.con.body.xml.gz2004-04-08 01:29 538  
[ ]Zmult_gt_reg_r.con.xml.gz2004-04-08 01:29 544  
[ ]Zmult_lt_reg_r.con.xml.gz2004-04-08 01:29 544  
[ ]Zeq_plus_swap.con.xml.gz2004-04-08 01:29 546  
[ ]Zlt_succ_le.con.body.xml.gz2004-04-08 01:29 546  
[ ]Zmult_le_compat_l.con.xml.gz2004-04-08 01:29 546  
[ ]Zplus_le_compat.con.xml.gz2004-04-08 01:29 546  
[ ]Zlt_le_weak.con.body.xml.gz2004-04-08 01:29 547  
[ ]Zmult_gt_compat_l.con.xml.gz2004-04-08 01:29 547  
[ ]Zmult_gt_compat_r.con.xml.gz2004-04-08 01:29 547  
[ ]Zmult_le_compat_r.con.xml.gz2004-04-08 01:29 547  
[ ]Zmult_ge_compat_r.con.xml.gz2004-04-08 01:29 548  
[ ]Zmult_ge_reg_r.con.xml.gz2004-04-08 01:29 548  
[ ]Zplus_lt_compat.con.xml.gz2004-04-08 01:29 548  
[ ]Zmult_lt_compat_l.con.xml.gz2004-04-08 01:29 549  
[ ]Zmult_lt_compat_r.con.xml.gz2004-04-08 01:29 549  
[ ]Zlt_succ_gt.con.body.xml.gz2004-04-08 01:29 550  
[ ]Zmult_ge_compat_l.con.xml.gz2004-04-08 01:29 550  
[ ]Zmult_le_reg_r.con.xml.gz2004-04-08 01:29 551  
[ ]Zgt_succ_le.con.body.xml.gz2004-04-08 01:29 553  
[ ]Zplus_le_lt_compat.con.xml.gz2004-04-08 01:29 554  
[ ]Zgt_succ.con.types.xml.gz2004-04-08 01:29 555  
[ ]Zplus_lt_le_compat.con.xml.gz2004-04-08 01:29 555  
[ ]Zmult_lt_0_le_reg_r.con.xml.gz2004-04-08 01:29 556  
[ ]Zmult_gt_0_le_compat_r.con.xml.gz2004-04-08 01:29 558  
[ ]Zmult_gt_0_lt_compat_l.con.xml.gz2004-04-08 01:29 558  
[ ]Zmult_gt_0_lt_reg_r.con.xml.gz2004-04-08 01:29 558  
[ ]Zmult_gt_0_lt_compat_r.con.xml.gz2004-04-08 01:29 559  
[ ]Zle_succ_le.con.types.xml.gz2004-04-08 01:29 560  
[ ]Zlt_square_simpl.con.xml.gz2004-04-08 01:29 560  
[ ]Zmult_lt_0_le_compat_r.con.xml.gz2004-04-08 01:29 560  
[ ]Zgt_irrefl.con.types.xml.gz2004-04-08 01:29 561  
[ ]Zlt_irrefl.con.types.xml.gz2004-04-08 01:29 562  
[ ]Zgt_square_simpl.con.xml.gz2004-04-08 01:29 563  
[ ]Znot_le_succ.con.types.xml.gz2004-04-08 01:29 563  
[ ]Zle_le_succ.con.types.xml.gz2004-04-08 01:29 570  
[ ]Zlt_le_succ.con.types.xml.gz2004-04-08 01:29 570  
[ ]Zlt_succ_gt.con.types.xml.gz2004-04-08 01:29 570  
[ ]Zlt_succ_le.con.types.xml.gz2004-04-08 01:29 570  
[ ]Zgt_0_le_0_pred.con.types.xml.gz2004-04-08 01:29 574  
[ ]Zlt_gt_succ.con.types.xml.gz2004-04-08 01:29 577  
[ ]Zle_lt_succ.con.types.xml.gz2004-04-08 01:29 578  
[ ]Zle_not_gt.con.types.xml.gz2004-04-08 01:29 579  
[ ]Zlt_le_weak.con.types.xml.gz2004-04-08 01:29 581  
[ ]Zsucc_lt_compat.con.body.xml.gz2004-04-08 01:29 582  
[ ]Zgt_pos_0.con.types.xml.gz2004-04-08 01:29 584  
[ ]Zgt_succ_le.con.types.xml.gz2004-04-08 01:29 584  
[ ]Zlt_neg_0.con.types.xml.gz2004-04-08 01:29 585  
[ ]Zeq_le.con.body.xml.gz2004-04-08 01:29 587  
[ ]Zge_le.con.body.xml.gz2004-04-08 01:29 588  
[ ]Zle_ge.con.body.xml.gz2004-04-08 01:29 588  
[ ]Zle_lt_trans.con.types.xml.gz2004-04-08 01:29 588  
[ ]Znot_gt_le.con.types.xml.gz2004-04-08 01:29 589  
[ ]Zlt_le_trans.con.types.xml.gz2004-04-08 01:29 592  
[ ]Zle_pred.con.body.xml.gz2004-04-08 01:29 597  
[ ]Zge_trans_succ.con.types.xml.gz2004-04-08 01:29 604  
[ ]Zsucc_lt_reg.con.body.xml.gz2004-04-08 01:29 606  
[ ]Zle_not_lt.con.body.xml.gz2004-04-08 01:29 607  
[ ]Zle_pred.con.types.xml.gz2004-04-08 01:29 610  
[ ]Zlt_lt_succ.con.body.xml.gz2004-04-08 01:29 610  
[ ]Zmult_ge_compat.con.xml.gz2004-04-08 01:29 611  
[ ]Zmult_lt_0_reg_r.con.body.xml.gz2004-04-08 01:29 611  
[ ]Zlt_not_le.con.types.xml.gz2004-04-08 01:29 612  
[ ]Zmult_lt_0_reg_r.con.types.xml.gz2004-04-08 01:29 613  
[ ]Zle_succ.con.types.xml.gz2004-04-08 01:29 614  
[ ]Zmult_le_compat.con.xml.gz2004-04-08 01:29 615  
[ ]Zsucc_lt_reg.con.types.xml.gz2004-04-08 01:29 616  
[ ]Zle_lt_trans.con.body.xml.gz2004-04-08 01:29 617  
[ ]Zplus_lt_compat.con.body.xml.gz2004-04-08 01:29 617  
[ ]Zge_trans_succ.con.body.xml.gz2004-04-08 01:29 618  
[ ]Zmult_gt_0_lt_compat_r.con.body.xml.gz2004-04-08 01:29 618  
[ ]Zge_trans.con.types.xml.gz2004-04-08 01:29 619  
[ ]Zlt_trans.con.types.xml.gz2004-04-08 01:29 619  
[ ]Zmult_lt_0_le_compat_r.con.body.xml.gz2004-04-08 01:29 619  
[ ]Zlt_le_trans.con.body.xml.gz2004-04-08 01:29 620  
[ ]Zle_not_gt.con.proof_tree.xml.gz2004-04-09 18:52 622  
[ ]Znot_gt_le.con.proof_tree.xml.gz2004-04-09 18:52 627  
[ ]Zmult_gt_0_le_0_compat.con.body.xml.gz2004-04-08 01:29 628  
[ ]Zlt_asym.con.body.xml.gz2004-04-08 01:29 634  
[ ]Zlt_trans.con.body.xml.gz2004-04-08 01:29 634  
[ ]Zge_trans.con.body.xml.gz2004-04-08 01:29 635  
[ ]Zsucc_lt_compat.con.types.xml.gz2004-04-08 01:29 637  
[ ]Zlt_lt_succ.con.types.xml.gz2004-04-08 01:29 639  
[ ]Zlt_pred.con.types.xml.gz2004-04-08 01:29 642  
[ ]Zlt_pred.con.body.xml.gz2004-04-08 01:29 644  
[ ]Zmult_lt_reg_r.con.types.xml.gz2004-04-08 01:29 646  
[ ]Zmult_lt_reg_r.con.body.xml.gz2004-04-08 01:29 654  
[ ]Zmult_lt_0_le_reg_r.con.types.xml.gz2004-04-08 01:29 658  
[ ]Zle_not_lt.con.types.xml.gz2004-04-08 01:29 659  
[ ]Zmult_lt_0_le_reg_r.con.body.xml.gz2004-04-08 01:29 665  
[ ]Zmult_lt_O_compat.con.body.xml.gz2004-04-08 01:29 668  
[ ]Zmult_gt_0_le_0_compat.con.types.xml.gz2004-04-08 01:29 672  
[ ]Znot_ge_lt.con.body.xml.gz2004-04-08 01:29 683  
[ ]Znot_le_gt.con.body.xml.gz2004-04-08 01:29 683  
[ ]Zle_trans.con.body.xml.gz2004-04-08 01:29 686  
[ ]Zlt_asym.con.types.xml.gz2004-04-08 01:29 688  
[ ]Zmult_lt_O_compat.con.types.xml.gz2004-04-08 01:29 691  
[ ]Zlt_succ_pred.con.types.xml.gz2004-04-08 01:29 692  
[ ]Zmult_gt_0_lt_compat_r.con.types.xml.gz2004-04-08 01:29 693  
[ ]Zplus_lt_compat.con.types.xml.gz2004-04-08 01:29 693  
[ ]Zle_trans.con.types.xml.gz2004-04-08 01:29 697  
[ ]Zmult_gt_reg_r.con.types.xml.gz2004-04-08 01:29 701  
[ ]Zmult_lt_0_le_compat_r.con.types.xml.gz2004-04-08 01:29 701  
[ ]Zmult_ge_reg_r.con.types.xml.gz2004-04-08 01:29 705  
[ ]Zmult_ge_compat_r.con.body.xml.gz2004-04-08 01:29 714  
[ ]Zplus_le_compat.con.body.xml.gz2004-04-08 01:29 714  
[ ]Zmult_gt_compat_r.con.body.xml.gz2004-04-08 01:29 717  
[ ]Zge_iff_le.con.body.xml.gz2004-04-08 01:29 719  
[ ]Zgt_iff_lt.con.body.xml.gz2004-04-08 01:29 719  
[ ]Zmult_ge_compat_l.con.body.xml.gz2004-04-08 01:29 719  
[ ]Zlt_succ_pred.con.body.xml.gz2004-04-08 01:29 727  
[ ]Zplus_le_0_compat.con.types.xml.gz2004-04-08 01:29 727  
[ ]Zgt_trans.con.types.xml.gz2004-04-08 01:29 729  
[ ]Zplus_lt_le_compat.con.body.xml.gz2004-04-08 01:29 729  
[ ]Zplus_le_lt_compat.con.body.xml.gz2004-04-08 01:29 730  
[ ]Zmult_gt_reg_r.con.body.xml.gz2004-04-08 01:29 731  
[ ]Zlt_not_eq.con.types.xml.gz2004-04-08 01:29 734  
[ ]Zmult_ge_reg_r.con.body.xml.gz2004-04-08 01:29 734  
[ ]Ztrichotomy_inf.con.types.xml.gz2004-04-08 01:29 742  
[ ]Zsucc_gt_compat.con.body.xml.gz2004-04-08 01:29 750  
[ ]Zge_le.con.types.xml.gz2004-04-08 01:29 757  
[ ]Zle_ge.con.types.xml.gz2004-04-08 01:29 757  
[ ]Zmult_ge_compat_r.con.types.xml.gz2004-04-08 01:29 765  
[ ]Zlt_square_simpl.con.types.xml.gz2004-04-08 01:29 766  
[ ]Zmult_ge_compat_l.con.types.xml.gz2004-04-08 01:29 766  
[ ]Zmult_gt_compat_r.con.types.xml.gz2004-04-08 01:29 766  
[ ]Zplus_le_0_compat.con.body.xml.gz2004-04-08 01:29 773  
[ ]Zgt_succ.con.proof_tree.xml.gz2004-04-09 18:52 775  
[ ]Zlt_not_eq.con.body.xml.gz2004-04-08 01:29 775  
[ ]Zplus_le_compat.con.types.xml.gz2004-04-08 01:29 778  
[ ]Zgt_irrefl.con.proof_tree.xml.gz2004-04-09 18:52 783  
[ ]Zlt_irrefl.con.proof_tree.xml.gz2004-04-09 18:52 783  
[ ]Zplus_le_lt_compat.con.types.xml.gz2004-04-08 01:29 784  
[ ]Zplus_lt_le_compat.con.types.xml.gz2004-04-08 01:29 784  
[ ]Zplus_gt_compat_l.con.body.xml.gz2004-04-08 01:29 794  
[ ]Zle_neg_pos.con.body.xml.gz2004-04-08 01:29 806  
[ ]Zlt_square_simpl.con.body.xml.gz2004-04-08 01:29 808  
[ ]Zplus_gt_reg_l.con.body.xml.gz2004-04-08 01:29 814  
[ ]Zplus_gt_reg_r.con.types.xml.gz2004-04-08 01:29 819  
[ ]Zplus_le_reg_r.con.types.xml.gz2004-04-08 01:29 819  
[ ]Zplus_lt_reg_r.con.types.xml.gz2004-04-08 01:29 819  
[ ]Znot_lt_ge.con.types.xml.gz2004-04-08 01:29 820  
[ ]Zlt_0_1.con.proof_tree.xml.gz2004-04-09 18:52 827  
[ ]Zle_0_1.con.proof_tree.xml.gz2004-04-09 18:52 828  
[ ]Zgt_not_le.con.types.xml.gz2004-04-08 01:29 844  
[ ]Zmult_ge_compat.con.types.xml.gz2004-04-08 01:29 857  
[ ]Zle_neg_pos.con.types.xml.gz2004-04-08 01:29 859  
[ ]Zplus_gt_compat_r.con.types.xml.gz2004-04-08 01:29 861  
[ ]Zmult_ge_compat.con.body.xml.gz2004-04-08 01:29 862  
[ ]Zplus_lt_compat_r.con.types.xml.gz2004-04-08 01:29 862  
[ ]Zmult_le_compat.con.body.xml.gz2004-04-08 01:29 864  
[ ]Zmult_le_compat.con.types.xml.gz2004-04-08 01:29 877  
[ ]Zle_gt_trans.con.types.xml.gz2004-04-08 01:29 882  
[ ]Zgt_pos_0.con.proof_tree.xml.gz2004-04-09 18:52 884  
[ ]Zle_0_pos.con.types.xml.gz2004-04-08 01:29 885  
[ ]Zlt_neg_0.con.proof_tree.xml.gz2004-04-09 18:52 885  
[ ]Zgt_le_trans.con.types.xml.gz2004-04-08 01:29 891  
[ ]Zlt_0_le_0_pred.con.types.xml.gz2004-04-08 01:29 891  
[ ]Zge_iff_le.con.types.xml.gz2004-04-08 01:29 898  
[ ]Zgt_iff_lt.con.types.xml.gz2004-04-08 01:29 898  
[ ]Zmult_le_compat_l.con.types.xml.gz2004-04-08 01:29 900  
[ ]Zplus_le_compat_r.con.types.xml.gz2004-04-08 01:29 900  
[ ]Zle_0_pos.con.body.xml.gz2004-04-08 01:29 901  
[ ]Zmult_gt_compat_l.con.types.xml.gz2004-04-08 01:29 901  
[ ]Zplus_lt_reg_l.con.body.xml.gz2004-04-08 01:29 908  
[ ]Zplus_lt_compat_l.con.body.xml.gz2004-04-08 01:29 909  
[ ]Zmult_gt_0_lt_compat_l.con.types.xml.gz2004-04-08 01:29 913  
[ ]Zlt_0_le_0_pred.con.body.xml.gz2004-04-08 01:29 920  
[ ]Zle_refl.con.types.xml.gz2004-04-08 01:29 935  
[ ]Zplus_gt_compat_r.con.body.xml.gz2004-04-08 01:29 936  
[ ]Zplus_lt_compat_r.con.body.xml.gz2004-04-08 01:29 936  
[ ]Zmult_lt_compat_l.con.types.xml.gz2004-04-08 01:29 940  
[ ]Zlt_O_minus_lt.con.types.xml.gz2004-04-08 01:29 945  
[ ]Zsucc_gt_compat.con.types.xml.gz2004-04-08 01:29 961  
[ ]Zeq_le.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zplus_le_compat_r.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_le_compat_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zlt_minus_simpl_swap.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_gt_reg_r.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_le_reg_r.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_lt_reg_r.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zle_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zplus_le_reg_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zle_refl.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_gt_reg_l.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zlt_O_minus_lt.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zmult_gt_compat_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zmult_le_compat_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zmult_gt_0_lt_compat_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_lt_reg_l.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zle_0_pos.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zle_0_nat.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zmult_lt_compat_l.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zplus_lt_compat_l.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zle_0_nat.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zgt_not_le.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zplus_gt_compat_l.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Zle_gt_trans.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zgt_le_trans.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Zgt_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zlt_not_le.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Znot_ge_lt.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Znot_le_gt.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Znot_lt_ge.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zlt_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zgt_succ_gt_or_eq.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Zle_succ_le.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zle_le_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_le_0_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zle_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_le_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_le_reg_l.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zlt_minus_simpl_swap.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]Zlt_gt.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]Zgt_lt.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]Znot_le_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zplus_le_compat_l.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zlt_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zmult_gt_0_le_compat_r.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zgt_succ_gt_or_eq.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zle_not_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zlt_succ_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zgt_square_simpl.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]Zlt_le_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_le_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_gt_0_le_compat_r.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]Zlt_gt_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zle_lt_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zgt_0_le_0_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_le_reg_r.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]Zlt_succ_gt.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zlt_succ_le.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zgt_succ_le.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_le_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_gt_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_lt_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zge_trans_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zgt_square_simpl.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zlt_le_weak.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zplus_gt_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zplus_lt_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Ztrichotomy.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zplus_lt_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zsucc_lt_reg.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zsucc_lt_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zlt_gt.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]Zgt_lt.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]Zlt_O_minus_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zle_lt_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zlt_le_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zlt_0_le_0_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zle_neg_pos.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]dec_Zlt.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]Zge_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]dec_Zgt.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]Zlt_asym.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zlt_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zlt_not_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zle_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zsucc_gt_reg.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]Zsucc_le_compat.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]Zsucc_le_reg.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zgt_le_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]dec_Zgt.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]dec_Zlt.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zle_gt_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zmult_le_reg_r.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zgt_iff_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zmult_lt_0_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zle_or_lt.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]Zge_iff_le.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zsucc_gt_reg.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zmult_lt_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zsucc_le_reg.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Zle_trans.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zsucc_gt_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zmult_ge_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zmult_gt_0_le_0_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zle_or_lt.con.body.xml.gz2004-04-08 01:29 1.7K 
[ ]Zmult_ge_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zmult_ge_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zle_lt_or_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]dec_Zgt.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]dec_Zlt.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zplus_le_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zle_lt_or_eq.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]dec_Zle.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Zle_antisym.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Zmult_lt_0_le_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zsucc_le_compat.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Zmult_lt_O_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]dec_Zge.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]Zplus_lt_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]dec_Zle.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]dec_Zge.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Zmult_lt_0_le_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zle_lt_or_eq.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Zlt_lt_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zgt_asym.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Zmult_gt_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zplus_gt_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zplus_lt_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zgt_succ_gt_or_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zmult_gt_0_lt_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zle_antisym.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zplus_gt_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zplus_le_lt_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zplus_lt_le_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zmult_gt_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zlt_square_simpl.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Znot_le_gt.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zge_le.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zle_ge.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Znot_ge_lt.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Ztrichotomy.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zeq_plus_swap.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Zle_antisym.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Zeq_plus_swap.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zgt_asym.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zgt_succ_pred.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Ztrichotomy.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Zmult_gt_0_lt_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zlt_minus_simpl_swap.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zmult_ge_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zlt_gt.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zsucc_gt_reg.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zgt_lt.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zmult_le_compat.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zgt_succ_pred.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]Ztrichotomy_inf.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]Zle_0_nat.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zplus_le_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zplus_le_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zmult_lt_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zmult_lt_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zle_or_lt.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zmult_gt_0_le_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zle_plus_swap.con.body.xml.gz2004-04-08 01:29 2.2K 
[ ]Zmult_gt_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zgt_succ_pred.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Zsucc_le_reg.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Zgt_asym.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Zmult_le_compat_r.con.body.xml.gz2004-04-08 01:29 2.3K 
[ ]Zle_plus_swap.con.types.xml.gz2004-04-08 01:29 2.3K 
[ ]Zsucc_le_compat.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Zmult_lt_compat_r.con.body.xml.gz2004-04-08 01:29 2.4K 
[ ]Zmult_le_0_compat.con.body.xml.gz2004-04-08 01:29 2.4K 
[ ]Zmult_le_0_compat.con.types.xml.gz2004-04-08 01:29 2.4K 
[ ]Zmult_gt_0_compat.con.body.xml.gz2004-04-08 01:29 2.5K 
[ ]Zmult_gt_0_reg_l.con.body.xml.gz2004-04-08 01:29 2.5K 
[ ]Zmult_gt_0_lt_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Zmult_le_compat_r.con.types.xml.gz2004-04-08 01:29 2.5K 
[ ]Zmult_le_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]dec_Zle.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]dec_Zge.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Zgt_le_succ.con.body.xml.gz2004-04-08 01:29 2.6K 
[ ]Zeq_plus_swap.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zmult_lt_compat_r.con.types.xml.gz2004-04-08 01:29 2.7K 
[ ]Zmult_le_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Zgt_square_simpl.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Zmult_gt_0_lt_0_reg_r.con.body.xml.gz2004-04-08 01:29 2.7K 
[ ]Zle_plus_swap.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Zlt_plus_swap.con.types.xml.gz2004-04-08 01:29 2.8K 
[ ]Zlt_plus_swap.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]Zmult_le_0_reg_r.con.body.xml.gz2004-04-08 01:29 2.8K 
[ ]Zmult_gt_0_reg_l.con.types.xml.gz2004-04-08 01:29 2.9K 
[ ]Zmult_gt_0_compat.con.types.xml.gz2004-04-08 01:29 2.9K 
[ ]Zlt_plus_swap.con.body.xml.gz2004-04-08 01:29 3.0K 
[ ]dec_eq.con.types.xml.gz2004-04-08 01:29 3.1K 
[ ]Zmult_gt_0_lt_0_reg_r.con.types.xml.gz2004-04-08 01:29 3.1K 
[ ]Zgt_le_succ.con.types.xml.gz2004-04-08 01:29 3.2K 
[ ]Ztrichotomy_inf.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]dec_eq.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Zmult_gt_0_lt_reg_r.con.body.xml.gz2004-04-08 01:29 3.3K 
[ ]Zmult_gt_0_lt_reg_r.con.types.xml.gz2004-04-08 01:29 3.3K 
[ ]Zmult_le_0_reg_r.con.types.xml.gz2004-04-08 01:29 3.3K 
[ ]dec_eq.con.body.xml.gz2004-04-08 01:29 3.3K 
[ ]Zmult_gt_0_compat.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]Zmult_gt_0_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]not_Zeq.con.body.xml.gz2004-04-08 01:29 3.6K 
[ ]Zmult_le_0_compat.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]not_Zeq.con.types.xml.gz2004-04-08 01:29 3.8K 
[ ]dec_Zne.con.types.xml.gz2004-04-08 01:29 4.0K 
[ ]dec_Zne.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]dec_Zne.con.body.xml.gz2004-04-08 01:29 4.1K 
[ ]not_Zeq.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]Zmult_gt_0_lt_0_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 4.8K 
[ ]Zgt_le_succ.con.proof_tree.xml.gz2004-04-09 18:52 4.8K 
[ ]Zmult_le_0_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 5.1K 
[ ]INDEX2005-07-05 08:11 6.9K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80