Index of /xml/CoRN/model/Zmod/ZMod

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:13 17K 
[ ]Zmod_Zmod.con.body.xml.gz2004-11-09 10:18 1.3K 
[ ]Zmod_Zmod.con.types.xml.gz2004-11-09 10:18 1.5K 
[ ]Zmod_Zmod.con.xml.gz2004-11-09 10:18 533  
[ ]Zmod_cancel_multiple.con.body.xml.gz2004-11-09 10:18 878  
[ ]Zmod_cancel_multiple.con.types.xml.gz2004-11-09 10:18 1.0K 
[ ]Zmod_cancel_multiple.con.xml.gz2004-11-09 10:18 605  
[ ]Zmod_lin_comb.con.body.xml.gz2004-11-09 10:19 14K 
[ ]Zmod_lin_comb.con.types.xml.gz2004-11-09 10:19 15K 
[ ]Zmod_lin_comb.con.xml.gz2004-11-09 10:19 642  
[ ]Zmod_minus_elim.con.body.xml.gz2004-11-09 10:19 5.2K 
[ ]Zmod_minus_elim.con.types.xml.gz2004-11-09 10:19 4.5K 
[ ]Zmod_minus_elim.con.xml.gz2004-11-09 10:19 625  
[ ]Zmod_minus_intro.con.body.xml.gz2004-11-09 10:18 2.4K 
[ ]Zmod_minus_intro.con.types.xml.gz2004-11-09 10:18 2.2K 
[ ]Zmod_minus_intro.con.xml.gz2004-11-09 10:18 622  
[ ]Zmod_minus_intro_subproof.con.body.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof.con.types.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof.con.xml.gz2004-11-09 10:18 641  
[ ]Zmod_minus_intro_subproof0.con.body.xml.gz2004-11-09 10:18 3.0K 
[ ]Zmod_minus_intro_subproof0.con.types.xml.gz2004-11-09 10:18 2.9K 
[ ]Zmod_minus_intro_subproof0.con.xml.gz2004-11-09 10:18 624  
[ ]Zmod_minus_intro_subproof1.con.body.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof1.con.types.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof1.con.xml.gz2004-11-09 10:18 643  
[ ]Zmod_minus_intro_subproof2.con.body.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof2.con.types.xml.gz2004-11-09 10:18 2.9K 
[ ]Zmod_minus_intro_subproof2.con.xml.gz2004-11-09 10:18 625  
[ ]Zmod_minus_intro_subproof3.con.body.xml.gz2004-11-09 10:18 3.1K 
[ ]Zmod_minus_intro_subproof3.con.types.xml.gz2004-11-09 10:18 2.9K 
[ ]Zmod_minus_intro_subproof3.con.xml.gz2004-11-09 10:18 624  
[ ]Zmod_minus_intro_subproof4.con.body.xml.gz2004-11-09 10:18 3.0K 
[ ]Zmod_minus_intro_subproof4.con.types.xml.gz2004-11-09 10:18 2.8K 
[ ]Zmod_minus_intro_subproof4.con.xml.gz2004-11-09 10:18 617  
[ ]Zmod_minus_intro_subproof5.con.body.xml.gz2004-11-09 10:18 9.8K 
[ ]Zmod_minus_intro_subproof5.con.types.xml.gz2004-11-09 10:18 8.4K 
[ ]Zmod_minus_intro_subproof5.con.xml.gz2004-11-09 10:18 821  
[ ]Zmod_minus_intro_subproof6.con.body.xml.gz2004-11-09 10:18 9.4K 
[ ]Zmod_minus_intro_subproof6.con.types.xml.gz2004-11-09 10:18 8.1K 
[ ]Zmod_minus_intro_subproof6.con.xml.gz2004-11-09 10:18 829  
[ ]Zmod_mult_compat.con.body.xml.gz2004-11-09 10:19 30K 
[ ]Zmod_mult_compat.con.types.xml.gz2004-11-09 10:19 28K 
[ ]Zmod_mult_compat.con.xml.gz2004-11-09 10:19 630  
[ ]Zmod_mult_compat_lft.con.body.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmod_mult_compat_lft.con.types.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmod_mult_compat_lft.con.xml.gz2004-11-09 10:19 613  
[ ]Zmod_mult_compat_rht.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_mult_compat_rht.con.types.xml.gz2004-11-09 10:19 2.2K 
[ ]Zmod_mult_compat_rht.con.xml.gz2004-11-09 10:19 608  
[ ]Zmod_mult_compat_subproof.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_mult_compat_subproof.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_mult_compat_subproof.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_mult_compat_subproof0.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_mult_compat_subproof0.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_mult_compat_subproof0.con.xml.gz2004-11-09 10:19 538  
[ ]Zmod_mult_compat_subproof1.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_mult_compat_subproof1.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_mult_compat_subproof1.con.xml.gz2004-11-09 10:19 514  
[ ]Zmod_mult_compat_subproof2.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_mult_compat_subproof2.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_mult_compat_subproof2.con.xml.gz2004-11-09 10:19 538  
[ ]Zmod_mult_compat_subproof3.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_mult_compat_subproof3.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_mult_compat_subproof3.con.xml.gz2004-11-09 10:19 514  
[ ]Zmod_mult_compat_subproof4.con.body.xml.gz2004-11-09 10:19 13K 
[ ]Zmod_mult_compat_subproof4.con.types.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_mult_compat_subproof4.con.xml.gz2004-11-09 10:19 862  
[ ]Zmod_mult_compat_subproof5.con.body.xml.gz2004-11-09 10:19 13K 
[ ]Zmod_mult_compat_subproof5.con.types.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_mult_compat_subproof5.con.xml.gz2004-11-09 10:19 850  
[ ]Zmod_mult_compat_subproof6.con.body.xml.gz2004-11-09 10:19 12K 
[ ]Zmod_mult_compat_subproof6.con.types.xml.gz2004-11-09 10:19 10K 
[ ]Zmod_mult_compat_subproof6.con.xml.gz2004-11-09 10:19 734  
[ ]Zmod_mult_compat_subproof7.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_mult_compat_subproof7.con.types.xml.gz2004-11-09 10:19 9.1K 
[ ]Zmod_mult_compat_subproof7.con.xml.gz2004-11-09 10:19 730  
[ ]Zmod_mult_compat_subproof8.con.body.xml.gz2004-11-09 10:19 12K 
[ ]Zmod_mult_compat_subproof8.con.types.xml.gz2004-11-09 10:19 10K 
[ ]Zmod_mult_compat_subproof8.con.xml.gz2004-11-09 10:19 732  
[ ]Zmod_mult_compat_subproof9.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_mult_compat_subproof9.con.types.xml.gz2004-11-09 10:19 9.1K 
[ ]Zmod_mult_compat_subproof9.con.xml.gz2004-11-09 10:19 727  
[ ]Zmod_mult_elim_lft.con.body.xml.gz2004-11-09 10:19 3.2K 
[ ]Zmod_mult_elim_lft.con.types.xml.gz2004-11-09 10:19 3.1K 
[ ]Zmod_mult_elim_lft.con.xml.gz2004-11-09 10:19 728  
[ ]Zmod_mult_elim_lft_subproof.con.body.xml.gz2004-11-09 10:19 3.5K 
[ ]Zmod_mult_elim_lft_subproof.con.types.xml.gz2004-11-09 10:19 3.1K 
[ ]Zmod_mult_elim_lft_subproof.con.xml.gz2004-11-09 10:19 728  
[ ]Zmod_mult_elim_rht.con.body.xml.gz2004-11-09 10:19 1.4K 
[ ]Zmod_mult_elim_rht.con.types.xml.gz2004-11-09 10:19 1.5K 
[ ]Zmod_mult_elim_rht.con.xml.gz2004-11-09 10:19 717  
[ ]Zmod_multiple.con.body.xml.gz2004-11-09 10:18 1.0K 
[ ]Zmod_multiple.con.types.xml.gz2004-11-09 10:18 1.0K 
[ ]Zmod_multiple.con.xml.gz2004-11-09 10:18 523  
[ ]Zmod_one_lft.con.body.xml.gz2004-11-09 10:19 889  
[ ]Zmod_one_lft.con.types.xml.gz2004-11-09 10:19 961  
[ ]Zmod_one_lft.con.xml.gz2004-11-09 10:19 541  
[ ]Zmod_one_lft_subproof.con.body.xml.gz2004-11-09 10:19 3.0K 
[ ]Zmod_one_lft_subproof.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_one_lft_subproof.con.xml.gz2004-11-09 10:19 481  
[ ]Zmod_one_rht.con.body.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmod_one_rht.con.types.xml.gz2004-11-09 10:19 1.6K 
[ ]Zmod_one_rht.con.xml.gz2004-11-09 10:19 477  
[ ]Zmod_one_rht_subproof.con.body.xml.gz2004-11-09 10:19 6.9K 
[ ]Zmod_one_rht_subproof.con.types.xml.gz2004-11-09 10:19 5.4K 
[ ]Zmod_one_rht_subproof.con.xml.gz2004-11-09 10:19 723  
[ ]Zmod_one_rht_subproof0.con.body.xml.gz2004-11-09 10:19 6.9K 
[ ]Zmod_one_rht_subproof0.con.types.xml.gz2004-11-09 10:19 5.6K 
[ ]Zmod_one_rht_subproof0.con.xml.gz2004-11-09 10:19 735  
[ ]Zmod_opp_elim.con.body.xml.gz2004-11-09 10:19 6.2K 
[ ]Zmod_opp_elim.con.types.xml.gz2004-11-09 10:19 6.0K 
[ ]Zmod_opp_elim.con.xml.gz2004-11-09 10:19 581  
[ ]Zmod_opp_elim_subproof.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof.con.xml.gz2004-11-09 10:19 497  
[ ]Zmod_opp_elim_subproof0.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof0.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof0.con.xml.gz2004-11-09 10:19 507  
[ ]Zmod_opp_elim_subproof1.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof1.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof1.con.xml.gz2004-11-09 10:19 541  
[ ]Zmod_opp_elim_subproof2.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof2.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof2.con.xml.gz2004-11-09 10:19 525  
[ ]Zmod_opp_elim_subproof3.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof3.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof3.con.xml.gz2004-11-09 10:19 542  
[ ]Zmod_opp_elim_subproof4.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof4.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof4.con.xml.gz2004-11-09 10:19 525  
[ ]Zmod_opp_elim_subproof5.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof5.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof5.con.xml.gz2004-11-09 10:19 525  
[ ]Zmod_opp_elim_subproof6.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof6.con.types.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof6.con.xml.gz2004-11-09 10:19 523  
[ ]Zmod_opp_elim_subproof7.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof7.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof7.con.xml.gz2004-11-09 10:19 507  
[ ]Zmod_opp_elim_subproof8.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof8.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof8.con.xml.gz2004-11-09 10:19 525  
[ ]Zmod_opp_elim_subproof9.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof9.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof9.con.xml.gz2004-11-09 10:19 507  
[ ]Zmod_opp_elim_subproof10.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof10.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof10.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof11.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof11.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof11.con.xml.gz2004-11-09 10:19 510  
[ ]Zmod_opp_elim_subproof12.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof12.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof12.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof13.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof13.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof13.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof14.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof14.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof14.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof15.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof15.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof15.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof16.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof16.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof16.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof17.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof17.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof17.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof18.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof18.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof18.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof19.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof19.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof19.con.xml.gz2004-11-09 10:19 543  
[ ]Zmod_opp_elim_subproof20.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof20.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof20.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof21.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof21.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof21.con.xml.gz2004-11-09 10:19 543  
[ ]Zmod_opp_elim_subproof22.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof22.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof22.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof23.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof23.con.types.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof23.con.xml.gz2004-11-09 10:19 524  
[ ]Zmod_opp_elim_subproof24.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof24.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof24.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof25.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof25.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof25.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof26.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof26.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof26.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof27.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof27.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof27.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof28.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof28.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof28.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof29.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof29.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof29.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof30.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof30.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof30.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof31.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof31.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof31.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof32.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof32.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof32.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof33.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof33.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof33.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof34.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof34.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof34.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof35.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof35.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof35.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof36.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof36.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof36.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof37.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof37.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof37.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof38.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof38.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof38.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof39.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof39.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof39.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof40.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof40.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof40.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof41.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof41.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof41.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof42.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof42.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof42.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof43.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof43.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof43.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof44.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof44.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof44.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof45.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof45.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof45.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof46.con.body.xml.gz2004-11-09 10:19 16K 
[ ]Zmod_opp_elim_subproof46.con.types.xml.gz2004-11-09 10:19 14K 
[ ]Zmod_opp_elim_subproof46.con.xml.gz2004-11-09 10:19 639  
[ ]Zmod_opp_elim_subproof47.con.body.xml.gz2004-11-09 10:19 16K 
[ ]Zmod_opp_elim_subproof47.con.types.xml.gz2004-11-09 10:19 14K 
[ ]Zmod_opp_elim_subproof47.con.xml.gz2004-11-09 10:19 630  
[ ]Zmod_opp_elim_subproof48.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof48.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof48.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof49.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof49.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof49.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof50.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof50.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof50.con.xml.gz2004-11-09 10:19 543  
[ ]Zmod_opp_elim_subproof51.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof51.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof51.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof52.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof52.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof52.con.xml.gz2004-11-09 10:19 544  
[ ]Zmod_opp_elim_subproof53.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof53.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof53.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof54.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof54.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof54.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof55.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof55.con.types.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof55.con.xml.gz2004-11-09 10:19 524  
[ ]Zmod_opp_elim_subproof56.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof56.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof56.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof57.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof57.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof57.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof58.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof58.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof58.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof59.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof59.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof59.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof60.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof60.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof60.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof61.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof61.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof61.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof62.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof62.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof62.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof63.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof63.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof63.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof64.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof64.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof64.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof65.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof65.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof65.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof66.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof66.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof66.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof67.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof67.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof67.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof68.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof68.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof68.con.xml.gz2004-11-09 10:19 543  
[ ]Zmod_opp_elim_subproof69.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof69.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof69.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof70.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof70.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_opp_elim_subproof70.con.xml.gz2004-11-09 10:19 543  
[ ]Zmod_opp_elim_subproof71.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof71.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof71.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof72.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof72.con.types.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof72.con.xml.gz2004-11-09 10:19 524  
[ ]Zmod_opp_elim_subproof73.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof73.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof73.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof74.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof74.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof74.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof75.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof75.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof75.con.xml.gz2004-11-09 10:19 508  
[ ]Zmod_opp_elim_subproof76.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof76.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof76.con.xml.gz2004-11-09 10:19 526  
[ ]Zmod_opp_elim_subproof77.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof77.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof77.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof78.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof78.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof78.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof79.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof79.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof79.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof80.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof80.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof80.con.xml.gz2004-11-09 10:19 508  
[ ]Zmod_opp_elim_subproof81.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof81.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof81.con.xml.gz2004-11-09 10:19 500  
[ ]Zmod_opp_elim_subproof82.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof82.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof82.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof83.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof83.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof83.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof84.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof84.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof84.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof85.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof85.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof85.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof86.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof86.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof86.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof87.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_opp_elim_subproof87.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_opp_elim_subproof87.con.xml.gz2004-11-09 10:19 527  
[ ]Zmod_opp_elim_subproof88.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof88.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof88.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof89.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof89.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof89.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof90.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof90.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof90.con.xml.gz2004-11-09 10:19 500  
[ ]Zmod_opp_elim_subproof91.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof91.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof91.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_elim_subproof92.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof92.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof92.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof93.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof93.con.types.xml.gz2004-11-09 10:19 2.4K 
[ ]Zmod_opp_elim_subproof93.con.xml.gz2004-11-09 10:19 501  
[ ]Zmod_opp_elim_subproof94.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof94.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_opp_elim_subproof94.con.xml.gz2004-11-09 10:19 509  
[ ]Zmod_opp_nonzero.con.body.xml.gz2004-11-09 10:19 1.8K 
[ ]Zmod_opp_nonzero.con.types.xml.gz2004-11-09 10:19 2.1K 
[ ]Zmod_opp_nonzero.con.xml.gz2004-11-09 10:19 653  
[ ]Zmod_opp_nonzero_subproof.con.body.xml.gz2004-11-09 10:19 7.0K 
[ ]Zmod_opp_nonzero_subproof.con.types.xml.gz2004-11-09 10:19 5.4K 
[ ]Zmod_opp_nonzero_subproof.con.xml.gz2004-11-09 10:19 733  
[ ]Zmod_opp_nonzero_subproof0.con.body.xml.gz2004-11-09 10:19 7.7K 
[ ]Zmod_opp_nonzero_subproof0.con.types.xml.gz2004-11-09 10:19 6.3K 
[ ]Zmod_opp_nonzero_subproof0.con.xml.gz2004-11-09 10:19 733  
[ ]Zmod_opp_zero.con.body.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmod_opp_zero.con.types.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmod_opp_zero.con.xml.gz2004-11-09 10:19 576  
[ ]Zmod_plus_compat.con.body.xml.gz2004-11-09 10:19 20K 
[ ]Zmod_plus_compat.con.types.xml.gz2004-11-09 10:19 19K 
[ ]Zmod_plus_compat.con.xml.gz2004-11-09 10:19 628  
[ ]Zmod_plus_compat_lft.con.body.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmod_plus_compat_lft.con.types.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmod_plus_compat_lft.con.xml.gz2004-11-09 10:19 613  
[ ]Zmod_plus_compat_rht.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_plus_compat_rht.con.types.xml.gz2004-11-09 10:19 2.2K 
[ ]Zmod_plus_compat_rht.con.xml.gz2004-11-09 10:19 608  
[ ]Zmod_plus_compat_subproof.con.body.xml.gz2004-11-09 10:18 2.5K 
[ ]Zmod_plus_compat_subproof.con.types.xml.gz2004-11-09 10:18 2.4K 
[ ]Zmod_plus_compat_subproof.con.xml.gz2004-11-09 10:18 509  
[ ]Zmod_plus_compat_subproof0.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_plus_compat_subproof0.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_plus_compat_subproof0.con.xml.gz2004-11-09 10:19 538  
[ ]Zmod_plus_compat_subproof1.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_plus_compat_subproof1.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_plus_compat_subproof1.con.xml.gz2004-11-09 10:19 514  
[ ]Zmod_plus_compat_subproof2.con.body.xml.gz2004-11-09 10:19 2.6K 
[ ]Zmod_plus_compat_subproof2.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_plus_compat_subproof2.con.xml.gz2004-11-09 10:19 538  
[ ]Zmod_plus_compat_subproof3.con.body.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_plus_compat_subproof3.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_plus_compat_subproof3.con.xml.gz2004-11-09 10:19 514  
[ ]Zmod_plus_compat_subproof4.con.body.xml.gz2004-11-09 10:19 16K 
[ ]Zmod_plus_compat_subproof4.con.types.xml.gz2004-11-09 10:19 14K 
[ ]Zmod_plus_compat_subproof4.con.xml.gz2004-11-09 10:19 861  
[ ]Zmod_plus_compat_subproof5.con.body.xml.gz2004-11-09 10:19 15K 
[ ]Zmod_plus_compat_subproof5.con.types.xml.gz2004-11-09 10:19 13K 
[ ]Zmod_plus_compat_subproof5.con.xml.gz2004-11-09 10:19 861  
[ ]Zmod_plus_compat_subproof6.con.body.xml.gz2004-11-09 10:19 12K 
[ ]Zmod_plus_compat_subproof6.con.types.xml.gz2004-11-09 10:19 9.9K 
[ ]Zmod_plus_compat_subproof6.con.xml.gz2004-11-09 10:19 735  
[ ]Zmod_plus_compat_subproof7.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_plus_compat_subproof7.con.types.xml.gz2004-11-09 10:19 9.1K 
[ ]Zmod_plus_compat_subproof7.con.xml.gz2004-11-09 10:19 730  
[ ]Zmod_plus_compat_subproof8.con.body.xml.gz2004-11-09 10:19 12K 
[ ]Zmod_plus_compat_subproof8.con.types.xml.gz2004-11-09 10:19 10K 
[ ]Zmod_plus_compat_subproof8.con.xml.gz2004-11-09 10:19 732  
[ ]Zmod_plus_compat_subproof9.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_plus_compat_subproof9.con.types.xml.gz2004-11-09 10:19 9.1K 
[ ]Zmod_plus_compat_subproof9.con.xml.gz2004-11-09 10:19 727  
[ ]Zmod_relprime_inv.con.body.xml.gz2004-11-09 10:19 8.5K 
[ ]Zmod_relprime_inv.con.types.xml.gz2004-11-09 10:19 9.0K 
[ ]Zmod_relprime_inv.con.xml.gz2004-11-09 10:19 659  
[ ]Zmod_relprime_inv_subproof.con.body.xml.gz2004-11-09 10:19 9.6K 
[ ]Zmod_relprime_inv_subproof.con.types.xml.gz2004-11-09 10:19 7.9K 
[ ]Zmod_relprime_inv_subproof.con.xml.gz2004-11-09 10:19 1.0K 
[ ]Zmod_relprime_inv_subproof0.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmod_relprime_inv_subproof0.con.types.xml.gz2004-11-09 10:19 9.3K 
[ ]Zmod_relprime_inv_subproof0.con.xml.gz2004-11-09 10:19 1.0K 
[ ]Zmod_relprime_inv_subproof1.con.body.xml.gz2004-11-09 10:19 14K 
[ ]Zmod_relprime_inv_subproof1.con.types.xml.gz2004-11-09 10:19 9.4K 
[ ]Zmod_relprime_inv_subproof1.con.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmod_same.con.body.xml.gz2004-11-09 10:18 255  
[ ]Zmod_same.con.types.xml.gz2004-11-09 10:18 201  
[ ]Zmod_same.con.xml.gz2004-11-09 10:18 474  
[ ]Zmod_small.con.body.xml.gz2004-11-09 10:19 3.8K 
[ ]Zmod_small.con.types.xml.gz2004-11-09 10:19 3.9K 
[ ]Zmod_small.con.xml.gz2004-11-09 10:19 582  
[ ]Zmod_small_subproof.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof.con.xml.gz2004-11-09 10:19 587  
[ ]Zmod_small_subproof0.con.body.xml.gz2004-11-09 10:19 3.1K 
[ ]Zmod_small_subproof0.con.types.xml.gz2004-11-09 10:19 3.0K 
[ ]Zmod_small_subproof0.con.xml.gz2004-11-09 10:19 624  
[ ]Zmod_small_subproof1.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof1.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof1.con.xml.gz2004-11-09 10:19 605  
[ ]Zmod_small_subproof2.con.body.xml.gz2004-11-09 10:19 3.1K 
[ ]Zmod_small_subproof2.con.types.xml.gz2004-11-09 10:19 3.0K 
[ ]Zmod_small_subproof2.con.xml.gz2004-11-09 10:19 624  
[ ]Zmod_small_subproof3.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof3.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof3.con.xml.gz2004-11-09 10:19 605  
[ ]Zmod_small_subproof4.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof4.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof4.con.xml.gz2004-11-09 10:19 600  
[ ]Zmod_small_subproof5.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof5.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof5.con.xml.gz2004-11-09 10:19 589  
[ ]Zmod_small_subproof6.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof6.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof6.con.xml.gz2004-11-09 10:19 605  
[ ]Zmod_small_subproof7.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof7.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof7.con.xml.gz2004-11-09 10:19 589  
[ ]Zmod_small_subproof8.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof8.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof8.con.xml.gz2004-11-09 10:19 605  
[ ]Zmod_small_subproof9.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof9.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof9.con.xml.gz2004-11-09 10:19 589  
[ ]Zmod_small_subproof10.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof10.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof10.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof11.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof11.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof11.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof12.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof12.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_small_subproof12.con.xml.gz2004-11-09 10:19 593  
[ ]Zmod_small_subproof13.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof13.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof13.con.xml.gz2004-11-09 10:19 592  
[ ]Zmod_small_subproof14.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof14.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof14.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof15.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof15.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof15.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof16.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof16.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof16.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof17.con.body.xml.gz2004-11-09 10:19 3.2K 
[ ]Zmod_small_subproof17.con.types.xml.gz2004-11-09 10:19 3.0K 
[ ]Zmod_small_subproof17.con.xml.gz2004-11-09 10:19 626  
[ ]Zmod_small_subproof18.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof18.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof18.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof19.con.body.xml.gz2004-11-09 10:19 3.2K 
[ ]Zmod_small_subproof19.con.types.xml.gz2004-11-09 10:19 3.0K 
[ ]Zmod_small_subproof19.con.xml.gz2004-11-09 10:19 626  
[ ]Zmod_small_subproof20.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof20.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof20.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof21.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof21.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof21.con.xml.gz2004-11-09 10:19 601  
[ ]Zmod_small_subproof22.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof22.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof22.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof23.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof23.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof23.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof24.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof24.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof24.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof25.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof25.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof25.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof26.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof26.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof26.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof27.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof27.con.types.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmod_small_subproof27.con.xml.gz2004-11-09 10:19 607  
[ ]Zmod_small_subproof28.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof28.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof28.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof29.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof29.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof29.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof30.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof30.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_small_subproof30.con.xml.gz2004-11-09 10:19 592  
[ ]Zmod_small_subproof31.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof31.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof31.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof32.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof32.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof32.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof33.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof33.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof33.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_small_subproof34.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof34.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_small_subproof34.con.xml.gz2004-11-09 10:19 592  
[ ]Zmod_small_subproof35.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof35.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmod_small_subproof35.con.xml.gz2004-11-09 10:19 592  
[ ]Zmod_small_subproof36.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmod_small_subproof36.con.types.xml.gz2004-11-09 10:19 2.7K 
[ ]Zmod_small_subproof36.con.xml.gz2004-11-09 10:19 591  
[ ]Zmod_zero_lft.con.body.xml.gz2004-11-09 10:18 704  
[ ]Zmod_zero_lft.con.types.xml.gz2004-11-09 10:18 1.0K 
[ ]Zmod_zero_lft.con.xml.gz2004-11-09 10:18 440  
[ ]Zmod_zero_rht.con.body.xml.gz2004-11-09 10:18 704  
[ ]Zmod_zero_rht.con.types.xml.gz2004-11-09 10:18 1.0K 
[ ]Zmod_zero_rht.con.xml.gz2004-11-09 10:18 438  
[ ]Zmodeq.con.body.xml.gz2004-11-09 10:19 471  
[ ]Zmodeq.con.types.xml.gz2004-11-09 10:19 194  
[ ]Zmodeq.con.xml.gz2004-11-09 10:19 322  
[ ]Zmodeq_dec.con.body.xml.gz2004-11-09 10:19 478  
[ ]Zmodeq_dec.con.types.xml.gz2004-11-09 10:19 202  
[ ]Zmodeq_dec.con.xml.gz2004-11-09 10:19 494  
[ ]Zmodeq_eqmod.con.body.xml.gz2004-11-09 10:19 1.9K 
[ ]Zmodeq_eqmod.con.types.xml.gz2004-11-09 10:19 1.7K 
[ ]Zmodeq_eqmod.con.xml.gz2004-11-09 10:19 566  
[ ]Zmodeq_gcd_compat_lft.con.body.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmodeq_gcd_compat_lft.con.types.xml.gz2004-11-09 10:19 2.8K 
[ ]Zmodeq_gcd_compat_lft.con.xml.gz2004-11-09 10:19 583  
[ ]Zmodeq_gcd_compat_lft_subproof.con.body.xml.gz2004-11-09 10:19 5.3K 
[ ]Zmodeq_gcd_compat_lft_subproof.con.types.xml.gz2004-11-09 10:19 4.3K 
[ ]Zmodeq_gcd_compat_lft_subproof.con.xml.gz2004-11-09 10:19 724  
[ ]Zmodeq_gcd_compat_lft_subproof0.con.body.xml.gz2004-11-09 10:19 7.1K 
[ ]Zmodeq_gcd_compat_lft_subproof0.con.types.xml.gz2004-11-09 10:19 5.8K 
[ ]Zmodeq_gcd_compat_lft_subproof0.con.xml.gz2004-11-09 10:19 729  
[ ]Zmodeq_gcd_compat_rht.con.body.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_gcd_compat_rht.con.types.xml.gz2004-11-09 10:19 1.0K 
[ ]Zmodeq_gcd_compat_rht.con.xml.gz2004-11-09 10:19 587  
[ ]Zmodeq_mod_elim.con.body.xml.gz2004-11-09 10:19 1.6K 
[ ]Zmodeq_mod_elim.con.types.xml.gz2004-11-09 10:19 1.7K 
[ ]Zmodeq_mod_elim.con.xml.gz2004-11-09 10:19 553  
[ ]Zmodeq_mod_elim_lft.con.body.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_mod_elim_lft.con.types.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmodeq_mod_elim_lft.con.xml.gz2004-11-09 10:19 524  
[ ]Zmodeq_mod_elim_rht.con.body.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_mod_elim_rht.con.types.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmodeq_mod_elim_rht.con.xml.gz2004-11-09 10:19 522  
[ ]Zmodeq_mod_intro.con.body.xml.gz2004-11-09 10:20 1.6K 
[ ]Zmodeq_mod_intro.con.types.xml.gz2004-11-09 10:20 1.6K 
[ ]Zmodeq_mod_intro.con.xml.gz2004-11-09 10:20 553  
[ ]Zmodeq_mod_intro_lft.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]Zmodeq_mod_intro_lft.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]Zmodeq_mod_intro_lft.con.xml.gz2004-11-09 10:20 529  
[ ]Zmodeq_mod_intro_rht.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]Zmodeq_mod_intro_rht.con.types.xml.gz2004-11-09 10:20 1.2K 
[ ]Zmodeq_mod_intro_rht.con.xml.gz2004-11-09 10:20 530  
[ ]Zmodeq_modeq.con.body.xml.gz2004-11-09 10:19 1.8K 
[ ]Zmodeq_modeq.con.types.xml.gz2004-11-09 10:19 1.8K 
[ ]Zmodeq_modeq.con.xml.gz2004-11-09 10:19 572  
[ ]Zmodeq_mult_compat.con.body.xml.gz2004-11-09 10:19 741  
[ ]Zmodeq_mult_compat.con.types.xml.gz2004-11-09 10:19 791  
[ ]Zmodeq_mult_compat.con.xml.gz2004-11-09 10:19 576  
[ ]Zmodeq_mult_elim.con.body.xml.gz2004-11-09 10:19 272  
[ ]Zmodeq_mult_elim.con.types.xml.gz2004-11-09 10:19 213  
[ ]Zmodeq_mult_elim.con.xml.gz2004-11-09 10:19 570  
[ ]Zmodeq_mult_elim_lft.con.body.xml.gz2004-11-09 10:19 1.7K 
[ ]Zmodeq_mult_elim_lft.con.types.xml.gz2004-11-09 10:19 1.6K 
[ ]Zmodeq_mult_elim_lft.con.xml.gz2004-11-09 10:19 532  
[ ]Zmodeq_mult_elim_rht.con.body.xml.gz2004-11-09 10:19 963  
[ ]Zmodeq_mult_elim_rht.con.types.xml.gz2004-11-09 10:19 874  
[ ]Zmodeq_mult_elim_rht.con.xml.gz2004-11-09 10:19 533  
[ ]Zmodeq_opp_elim.con.body.xml.gz2004-11-09 10:19 1.2K 
[ ]Zmodeq_opp_elim.con.types.xml.gz2004-11-09 10:19 1.0K 
[ ]Zmodeq_opp_elim.con.xml.gz2004-11-09 10:19 496  
[ ]Zmodeq_opp_intro.con.body.xml.gz2004-11-09 10:19 931  
[ ]Zmodeq_opp_intro.con.types.xml.gz2004-11-09 10:19 780  
[ ]Zmodeq_opp_intro.con.xml.gz2004-11-09 10:19 497  
[ ]Zmodeq_plus_compat.con.body.xml.gz2004-11-09 10:19 3.8K 
[ ]Zmodeq_plus_compat.con.types.xml.gz2004-11-09 10:19 4.2K 
[ ]Zmodeq_plus_compat.con.xml.gz2004-11-09 10:19 576  
[ ]Zmodeq_plus_compat_subproof.con.body.xml.gz2004-11-09 10:19 27K 
[ ]Zmodeq_plus_compat_subproof.con.types.xml.gz2004-11-09 10:19 22K 
[ ]Zmodeq_plus_compat_subproof.con.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_plus_compat_subproof0.con.body.xml.gz2004-11-09 10:19 28K 
[ ]Zmodeq_plus_compat_subproof0.con.types.xml.gz2004-11-09 10:19 24K 
[ ]Zmodeq_plus_compat_subproof0.con.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_plus_elim.con.body.xml.gz2004-11-09 10:19 272  
[ ]Zmodeq_plus_elim.con.types.xml.gz2004-11-09 10:19 213  
[ ]Zmodeq_plus_elim.con.xml.gz2004-11-09 10:19 571  
[ ]Zmodeq_plus_elim_lft.con.body.xml.gz2004-11-09 10:19 564  
[ ]Zmodeq_plus_elim_lft.con.types.xml.gz2004-11-09 10:19 653  
[ ]Zmodeq_plus_elim_lft.con.xml.gz2004-11-09 10:19 534  
[ ]Zmodeq_plus_elim_rht.con.body.xml.gz2004-11-09 10:19 562  
[ ]Zmodeq_plus_elim_rht.con.types.xml.gz2004-11-09 10:19 651  
[ ]Zmodeq_plus_elim_rht.con.xml.gz2004-11-09 10:19 534  
[ ]Zmodeq_refl.con.body.xml.gz2004-11-09 10:19 669  
[ ]Zmodeq_refl.con.types.xml.gz2004-11-09 10:19 703  
[ ]Zmodeq_refl.con.xml.gz2004-11-09 10:19 395  
[ ]Zmodeq_relprime.con.body.xml.gz2004-11-09 10:19 1.0K 
[ ]Zmodeq_relprime.con.types.xml.gz2004-11-09 10:19 1.1K 
[ ]Zmodeq_relprime.con.xml.gz2004-11-09 10:19 532  
[ ]Zmodeq_rem.con.body.xml.gz2004-11-09 10:19 2.9K 
[ ]Zmodeq_rem.con.types.xml.gz2004-11-09 10:19 3.7K 
[ ]Zmodeq_rem.con.xml.gz2004-11-09 10:19 459  
[ ]Zmodeq_rem_subproof.con.body.xml.gz2004-11-09 10:19 18K 
[ ]Zmodeq_rem_subproof.con.types.xml.gz2004-11-09 10:19 14K 
[ ]Zmodeq_rem_subproof.con.xml.gz2004-11-09 10:19 894  
[ ]Zmodeq_rem_subproof0.con.body.xml.gz2004-11-09 10:19 19K 
[ ]Zmodeq_rem_subproof0.con.types.xml.gz2004-11-09 10:19 15K 
[ ]Zmodeq_rem_subproof0.con.xml.gz2004-11-09 10:19 885  
[ ]Zmodeq_symm.con.body.xml.gz2004-11-09 10:19 1.5K 
[ ]Zmodeq_symm.con.types.xml.gz2004-11-09 10:19 1.5K 
[ ]Zmodeq_symm.con.xml.gz2004-11-09 10:19 449  
[ ]Zmodeq_symm_subproof.con.body.xml.gz2004-11-09 10:19 6.8K 
[ ]Zmodeq_symm_subproof.con.types.xml.gz2004-11-09 10:19 6.1K 
[ ]Zmodeq_symm_subproof.con.xml.gz2004-11-09 10:19 590  
[ ]Zmodeq_symm_subproof0.con.body.xml.gz2004-11-09 10:19 7.2K 
[ ]Zmodeq_symm_subproof0.con.types.xml.gz2004-11-09 10:19 6.1K 
[ ]Zmodeq_symm_subproof0.con.xml.gz2004-11-09 10:19 592  
[ ]Zmodeq_trans.con.body.xml.gz2004-11-09 10:19 2.2K 
[ ]Zmodeq_trans.con.types.xml.gz2004-11-09 10:19 2.5K 
[ ]Zmodeq_trans.con.xml.gz2004-11-09 10:19 497  
[ ]Zmodeq_trans_subproof.con.body.xml.gz2004-11-09 10:19 12K 
[ ]Zmodeq_trans_subproof.con.types.xml.gz2004-11-09 10:19 10K 
[ ]Zmodeq_trans_subproof.con.xml.gz2004-11-09 10:19 678  
[ ]Zmodeq_trans_subproof0.con.body.xml.gz2004-11-09 10:19 11K 
[ ]Zmodeq_trans_subproof0.con.types.xml.gz2004-11-09 10:19 9.0K 
[ ]Zmodeq_trans_subproof0.con.xml.gz2004-11-09 10:19 687  
[ ]Zmodeq_zero.con.body.xml.gz2004-11-09 10:19 1.4K 
[ ]Zmodeq_zero.con.types.xml.gz2004-11-09 10:19 2.0K 
[ ]Zmodeq_zero.con.xml.gz2004-11-09 10:19 514  
[ ]pos2Z.con.body.xml.gz2004-11-09 10:19 383  
[ ]pos2Z.con.types.xml.gz2004-11-09 10:19 194  
[ ]pos2Z.con.xml.gz2004-11-09 10:19 290  
[DIR]zmodeq/2005-07-05 08:14 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80