Index of /xml/Coq/ring/Setoid_ring_theory

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Setoid_rings/2005-07-05 08:13 -  
[ ]Aopp_ext.con.types.xml.gz2004-04-08 01:52 205  
[ ]Amult_ext.con.types.xml.gz2004-04-08 01:52 206  
[ ]Aplus_ext.con.types.xml.gz2004-04-08 01:52 207  
[ ]Setoid_Ring_Theory.ind.types.xml.gz2004-04-08 01:52 215  
[ ]Setoid_Ring_Theory_rec.con.types.xml.gz2004-04-08 01:52 222  
[ ]Semi_Setoid_Ring_Theory.ind.types.xml.gz2004-04-08 01:52 223  
[ ]Setoid_Ring_Theory_rect.con.types.xml.gz2004-04-08 01:52 224  
[ ]Semi_Setoid_Ring_Theory_rec.con.types.xml.gz2004-04-08 01:52 231  
[ ]Semi_Setoid_Ring_Theory_rect.con.types.xml.gz2004-04-08 01:52 232  
[ ]Aopp_ext.con.body.xml.gz2004-04-08 01:52 277  
[ ]Amult_ext.con.body.xml.gz2004-04-08 01:52 280  
[ ]Aplus_ext.con.body.xml.gz2004-04-08 01:52 280  
[ ]STh_opp_zero.con.xml.gz2004-04-08 01:52 379  
[ ]Semi_Setoid_Ring_Theory_of.con.xml.gz2004-04-08 01:52 388  
[ ]Setoid_Ring_Theory_rec.con.body.xml.gz2004-04-08 01:52 423  
[ ]Setoid_Ring_Theory_ind.con.body.xml.gz2004-04-08 01:52 426  
[ ]Semi_Setoid_Ring_Theory_rec.con.body.xml.gz2004-04-08 01:52 429  
[ ]Semi_Setoid_Ring_Theory_ind.con.body.xml.gz2004-04-08 01:52 433  
[ ]Aopp_ext.con.xml.gz2004-04-08 01:52 462  
[ ]SSR_mult_one_left2.con.xml.gz2004-04-08 01:52 467  
[ ]STh_mult_one_left2.con.xml.gz2004-04-08 01:52 467  
[ ]SSR_mult_zero_left2.con.xml.gz2004-04-08 01:52 468  
[ ]SSR_plus_zero_left2.con.xml.gz2004-04-08 01:52 468  
[ ]STh_plus_zero_left2.con.xml.gz2004-04-08 01:52 470  
[ ]SSR_mult_one_right.con.xml.gz2004-04-08 01:52 472  
[ ]STh_mult_one_right.con.xml.gz2004-04-08 01:52 472  
[ ]STh_plus_zero_right.con.xml.gz2004-04-08 01:52 473  
[ ]SSR_mult_zero_right.con.xml.gz2004-04-08 01:52 474  
[ ]SSR_plus_zero_right.con.xml.gz2004-04-08 01:52 474  
[ ]STh_mult_one_left.con.xml.gz2004-04-08 01:52 476  
[ ]SSR_mult_one_left.con.xml.gz2004-04-08 01:52 477  
[ ]SSR_plus_zero_left.con.xml.gz2004-04-08 01:52 477  
[ ]STh_plus_zero_left.con.xml.gz2004-04-08 01:52 477  
[ ]SSR_mult_zero_left.con.xml.gz2004-04-08 01:52 478  
[ ]STh_opp_def2.con.xml.gz2004-04-08 01:52 479  
[ ]STh_opp_zero.con.types.xml.gz2004-04-08 01:52 484  
[ ]STh_mult_one_right2.con.xml.gz2004-04-08 01:52 485  
[ ]SSR_mult_one_right2.con.xml.gz2004-04-08 01:52 486  
[ ]SSR_mult_zero_right2.con.xml.gz2004-04-08 01:52 486  
[ ]STh_opp_def.con.xml.gz2004-04-08 01:52 487  
[ ]STh_plus_zero_right2.con.xml.gz2004-04-08 01:52 487  
[ ]SSR_plus_zero_right2.con.xml.gz2004-04-08 01:52 488  
[ ]STh_opp_opp.con.xml.gz2004-04-08 01:52 495  
[ ]STh_opp_opp2.con.xml.gz2004-04-08 01:52 502  
[ ]SSR_plus_comm.con.xml.gz2004-04-08 01:52 503  
[ ]SSR_mult_comm.con.xml.gz2004-04-08 01:52 504  
[ ]STh_mult_sym.con.xml.gz2004-04-08 01:52 506  
[ ]STh_plus_comm.con.xml.gz2004-04-08 01:52 507  
[ ]SSR_mult_one_left2.con.body.xml.gz2004-04-08 01:52 510  
[ ]STh_mult_one_left2.con.body.xml.gz2004-04-08 01:52 510  
[ ]STh_plus_zero_left2.con.body.xml.gz2004-04-08 01:52 511  
[ ]SSR_mult_zero_left2.con.body.xml.gz2004-04-08 01:52 512  
[ ]SSR_plus_zero_left2.con.body.xml.gz2004-04-08 01:52 512  
[ ]STh_mult_zero_left.con.xml.gz2004-04-08 01:52 516  
[ ]STh_mult_zero_left2.con.xml.gz2004-04-08 01:52 516  
[ ]Saux1.con.xml.gz2004-04-08 01:52 521  
[ ]STh_opp_def2.con.body.xml.gz2004-04-08 01:52 524  
[ ]setoid_eq_ext1.con.xml.gz2004-04-08 01:52 524  
[ ]STh_mult_zero_right.con.xml.gz2004-04-08 01:52 527  
[ ]STh_mult_zero_right2.con.xml.gz2004-04-08 01:52 529  
[ ]SSR_mult_zero_left2.con.types.xml.gz2004-04-08 01:52 535  
[ ]SSR_mult_one_left2.con.types.xml.gz2004-04-08 01:52 536  
[ ]STh_mult_one_left2.con.types.xml.gz2004-04-08 01:52 536  
[ ]SSR_plus_zero_left2.con.types.xml.gz2004-04-08 01:52 538  
[ ]STh_plus_zero_left2.con.types.xml.gz2004-04-08 01:52 538  
[ ]SSR_eq_prop.con.xml.gz2004-04-08 01:52 539  
[ ]STh_eq_prop.con.xml.gz2004-04-08 01:52 541  
[ ]Amult_ext.con.xml.gz2004-04-08 01:52 542  
[ ]Aplus_ext.con.xml.gz2004-04-08 01:52 542  
[ ]SSR_plus_reg_right.con.xml.gz2004-04-08 01:52 557  
[ ]SSR_plus_reg_left.con.xml.gz2004-04-08 01:52 559  
[ ]STh_mult_assoc2.con.xml.gz2004-04-08 01:52 559  
[ ]STh_plus_assoc2.con.xml.gz2004-04-08 01:52 559  
[ ]SSR_mult_assoc2.con.xml.gz2004-04-08 01:52 560  
[ ]SSR_plus_assoc2.con.xml.gz2004-04-08 01:52 560  
[ ]STh_mult_assoc.con.xml.gz2004-04-08 01:52 562  
[ ]STh_plus_assoc.con.xml.gz2004-04-08 01:52 562  
[ ]SSR_mult_assoc.con.xml.gz2004-04-08 01:52 563  
[ ]SSR_plus_assoc.con.xml.gz2004-04-08 01:52 563  
[ ]STh_opp_def2.con.types.xml.gz2004-04-08 01:52 569  
[ ]STh_plus_opp_opp.con.xml.gz2004-04-08 01:52 578  
[ ]STh_mult_permute.con.xml.gz2004-04-08 01:52 579  
[ ]STh_plus_permute.con.xml.gz2004-04-08 01:52 579  
[ ]Saux2.con.xml.gz2004-04-08 01:52 579  
[ ]SSR_mult_permute.con.xml.gz2004-04-08 01:52 580  
[ ]SSR_plus_permute.con.xml.gz2004-04-08 01:52 580  
[ ]SSR_distr_left2.con.xml.gz2004-04-08 01:52 581  
[ ]STh_distr_left2.con.xml.gz2004-04-08 01:52 581  
[ ]STh_opp_mult_left.con.xml.gz2004-04-08 01:52 583  
[ ]STh_opp_mult_left2.con.xml.gz2004-04-08 01:52 588  
[ ]SSR_distr_left.con.xml.gz2004-04-08 01:52 592  
[ ]STh_mult_opp_opp.con.xml.gz2004-04-08 01:52 592  
[ ]STh_mult_opp_opp2.con.xml.gz2004-04-08 01:52 593  
[ ]STh_distr_right.con.xml.gz2004-04-08 01:52 594  
[ ]STh_plus_reg_left.con.xml.gz2004-04-08 01:52 594  
[ ]SSR_distr_right.con.xml.gz2004-04-08 01:52 595  
[ ]STh_distr_left.con.xml.gz2004-04-08 01:52 599  
[ ]STh_opp_mult_right.con.xml.gz2004-04-08 01:52 599  
[ ]STh_opp_mult_right2.con.xml.gz2004-04-08 01:52 599  
[ ]STh_plus_reg_right.con.xml.gz2004-04-08 01:52 599  
[ ]SSR_distr_right2.con.xml.gz2004-04-08 01:52 600  
[ ]STh_distr_right2.con.xml.gz2004-04-08 01:52 600  
[ ]STh_opp_zero.con.body.xml.gz2004-04-08 01:52 610  
[ ]STh_plus_permute_opp.con.xml.gz2004-04-08 01:52 613  
[ ]STh_mult_zero_left2.con.types.xml.gz2004-04-08 01:52 614  
[ ]STh_mult_assoc2.con.body.xml.gz2004-04-08 01:52 618  
[ ]STh_plus_assoc2.con.body.xml.gz2004-04-08 01:52 618  
[ ]SSR_mult_assoc2.con.body.xml.gz2004-04-08 01:52 619  
[ ]SSR_plus_assoc2.con.body.xml.gz2004-04-08 01:52 619  
[ ]STh_opp_opp2.con.types.xml.gz2004-04-08 01:52 619  
[ ]setoid_eq_ext1.con.types.xml.gz2004-04-08 01:52 628  
[ ]STh_distr_left2.con.body.xml.gz2004-04-08 01:52 641  
[ ]SSR_distr_left2.con.body.xml.gz2004-04-08 01:52 642  
[ ]STh_mult_opp_opp2.con.body.xml.gz2004-04-08 01:52 647  
[ ]STh_opp_opp2.con.body.xml.gz2004-04-08 01:52 654  
[ ]setoid_eq_ext2.con.xml.gz2004-04-08 01:52 661  
[ ]SSR_mult_one_right.con.types.xml.gz2004-04-08 01:52 664  
[ ]STh_mult_one_right.con.types.xml.gz2004-04-08 01:52 664  
[ ]SSR_plus_zero_right.con.types.xml.gz2004-04-08 01:52 666  
[ ]STh_plus_zero_right.con.types.xml.gz2004-04-08 01:52 666  
[ ]SSR_mult_zero_right.con.types.xml.gz2004-04-08 01:52 667  
[ ]STh_mult_zero_left2.con.body.xml.gz2004-04-08 01:52 669  
[ ]SSR_distr_right2.con.body.xml.gz2004-04-08 01:52 672  
[ ]STh_distr_right2.con.body.xml.gz2004-04-08 01:52 672  
[ ]STh_mult_opp_opp2.con.types.xml.gz2004-04-08 01:52 679  
[ ]SSR_mult_one_right2.con.types.xml.gz2004-04-08 01:52 708  
[ ]STh_mult_one_right2.con.types.xml.gz2004-04-08 01:52 708  
[ ]STh_plus_zero_right2.con.types.xml.gz2004-04-08 01:52 711  
[ ]SSR_plus_zero_right2.con.types.xml.gz2004-04-08 01:52 712  
[ ]SSR_mult_zero_right2.con.types.xml.gz2004-04-08 01:52 714  
[ ]SSR_mult_assoc2.con.types.xml.gz2004-04-08 01:52 716  
[ ]SSR_plus_assoc2.con.types.xml.gz2004-04-08 01:52 716  
[ ]STh_mult_assoc2.con.types.xml.gz2004-04-08 01:52 716  
[ ]STh_plus_assoc2.con.types.xml.gz2004-04-08 01:52 716  
[ ]SSR_distr_left2.con.types.xml.gz2004-04-08 01:52 769  
[ ]STh_distr_left2.con.types.xml.gz2004-04-08 01:52 769  
[ ]SSR_distr_right2.con.types.xml.gz2004-04-08 01:52 770  
[ ]STh_distr_right2.con.types.xml.gz2004-04-08 01:52 770  
[ ]STh_mult_zero_right2.con.types.xml.gz2004-04-08 01:52 771  
[ ]SSR_mult_zero_right.con.body.xml.gz2004-04-08 01:52 776  
[ ]SSR_mult_one_right.con.body.xml.gz2004-04-08 01:52 777  
[ ]SSR_plus_zero_right.con.body.xml.gz2004-04-08 01:52 778  
[ ]STh_mult_one_right.con.body.xml.gz2004-04-08 01:52 778  
[ ]STh_plus_zero_right.con.body.xml.gz2004-04-08 01:52 778  
[ ]STh_opp_mult_left2.con.types.xml.gz2004-04-08 01:52 799  
[ ]STh_opp_mult_left2.con.body.xml.gz2004-04-08 01:52 824  
[ ]setoid_eq_ext1.con.body.xml.gz2004-04-08 01:52 825  
[ ]STh_mult_one_right2.con.body.xml.gz2004-04-08 01:52 826  
[ ]SSR_plus_zero_right2.con.body.xml.gz2004-04-08 01:52 827  
[ ]STh_plus_zero_right2.con.body.xml.gz2004-04-08 01:52 827  
[ ]SSR_mult_one_right2.con.body.xml.gz2004-04-08 01:52 828  
[ ]SSR_mult_one_right2.con.proof_tree.xml.gz2004-04-09 18:52 833  
[ ]STh_mult_one_right2.con.proof_tree.xml.gz2004-04-09 18:52 833  
[ ]STh_mult_zero_right.con.types.xml.gz2004-04-08 01:52 834  
[ ]SSR_mult_zero_right2.con.body.xml.gz2004-04-08 01:52 835  
[ ]SSR_plus_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 836  
[ ]STh_plus_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 836  
[ ]SSR_mult_one_right.con.proof_tree.xml.gz2004-04-09 18:52 837  
[ ]STh_mult_one_right.con.proof_tree.xml.gz2004-04-09 18:52 837  
[ ]SSR_mult_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 840  
[ ]SSR_plus_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 840  
[ ]STh_mult_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 840  
[ ]STh_plus_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 840  
[ ]SSR_mult_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 844  
[ ]STh_mult_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 844  
[ ]STh_opp_opp.con.types.xml.gz2004-04-08 01:52 844  
[ ]STh_opp_opp.con.body.xml.gz2004-04-08 01:52 971  
[ ]STh_mult_zero_right2.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]STh_plus_reg_right.con.types.xml.gz2004-04-08 01:52 1.0K 
[ ]STh_mult_zero_right.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]STh_mult_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]STh_mult_zero_left.con.types.xml.gz2004-04-08 01:52 1.1K 
[ ]setoid_eq_ext2.con.types.xml.gz2004-04-08 01:52 1.1K 
[ ]STh_plus_permute_opp.con.types.xml.gz2004-04-08 01:52 1.1K 
[ ]STh_plus_permute_opp.con.body.xml.gz2004-04-08 01:52 1.1K 
[ ]STh_opp_mult_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]STh_opp_mult_right.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]SSR_mult_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]SSR_plus_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]STh_mult_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]STh_plus_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]STh_plus_reg_right.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]STh_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]STh_distr_right.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]STh_mult_zero_left.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]setoid_eq_ext2.con.body.xml.gz2004-04-08 01:52 1.3K 
[ ]STh_mult_opp_opp.con.types.xml.gz2004-04-08 01:52 1.3K 
[ ]Saux2.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]STh_plus_reg_right.con.body.xml.gz2004-04-08 01:52 1.3K 
[ ]STh_mult_zero_left.con.body.xml.gz2004-04-08 01:52 1.3K 
[ ]SSR_distr_right.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]STh_mult_opp_opp2.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]STh_opp_mult_right2.con.types.xml.gz2004-04-08 01:52 1.4K 
[ ]STh_opp_mult_left.con.types.xml.gz2004-04-08 01:52 1.5K 
[ ]STh_opp_mult_right.con.types.xml.gz2004-04-08 01:52 1.5K 
[ ]STh_opp_mult_left.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]STh_mult_opp_opp.con.body.xml.gz2004-04-08 01:52 1.5K 
[ ]Setoid_Ring_Theory_ind.con.xml.gz2004-04-08 01:52 1.5K 
[ ]Setoid_Ring_Theory_rec.con.xml.gz2004-04-08 01:52 1.5K 
[ ]Setoid_Ring_Theory_rect.con.xml.gz2004-04-08 01:52 1.5K 
[ ]STh_plus_reg_left.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]STh_plus_zero_left.con.types.xml.gz2004-04-08 01:52 1.5K 
[ ]STh_mult_one_left.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]Aopp_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Setoid_Ring_Theory.ind.xml.gz2004-04-08 01:52 1.6K 
[ ]SSR_plus_reg_right.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]SSR_mult_permute.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]SSR_plus_permute.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]STh_mult_permute.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]STh_plus_permute.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]Semi_Setoid_Ring_Theory_ind.con.xml.gz2004-04-08 01:52 1.6K 
[ ]STh_opp_def.con.types.xml.gz2004-04-08 01:52 1.6K 
[ ]Semi_Setoid_Ring_Theory_rec.con.xml.gz2004-04-08 01:52 1.6K 
[ ]Setoid_Ring_Theory_rect.con.body.xml.gz2004-04-08 01:52 1.6K 
[ ]Semi_Setoid_Ring_Theory_rect.con.xml.gz2004-04-08 01:52 1.6K 
[ ]STh_distr_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]SSR_distr_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Amult_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Aplus_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Saux1.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]STh_opp_mult_left.con.body.xml.gz2004-04-08 01:52 1.6K 
[ ]SSR_plus_zero_left.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_mult_sym.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_plus_comm.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]SSR_mult_one_left.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]SSR_mult_zero_left.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]Semi_Setoid_Ring_Theory.ind.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_eq_prop.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_opp_mult_right2.con.body.xml.gz2004-04-08 01:52 1.7K 
[ ]Saux1.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]Semi_Setoid_Ring_Theory_rect.con.body.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_plus_zero_left.con.body.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_mult_one_left.con.body.xml.gz2004-04-08 01:52 1.7K 
[ ]STh_plus_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]STh_opp_def.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_plus_comm.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_mult_comm.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_plus_comm.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_mult_sym.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_opp_mult_right.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_eq_prop.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_eq_prop.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_plus_assoc.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_mult_assoc.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]Saux2.con.types.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_plus_reg_right.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_mult_assoc.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_plus_assoc.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_mult_permute.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_plus_permute.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_mult_permute.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]STh_plus_permute.con.body.xml.gz2004-04-08 01:52 1.8K 
[ ]SSR_plus_zero_left.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]STh_distr_left.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_mult_one_left.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_mult_zero_left.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_plus_comm.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]STh_distr_left.con.types.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_mult_comm.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_plus_reg_left.con.types.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_eq_prop.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_plus_assoc.con.types.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_mult_assoc.con.types.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_plus_reg_left.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_plus_assoc.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_mult_assoc.con.body.xml.gz2004-04-08 01:52 1.9K 
[ ]SSR_distr_left.con.body.xml.gz2004-04-08 01:52 2.0K 
[ ]SSR_distr_right.con.types.xml.gz2004-04-08 01:52 2.0K 
[ ]STh_distr_right.con.types.xml.gz2004-04-08 01:52 2.0K 
[ ]SSR_distr_left.con.types.xml.gz2004-04-08 01:52 2.0K 
[ ]Saux1.con.body.xml.gz2004-04-08 01:52 2.2K 
[ ]STh_distr_right.con.body.xml.gz2004-04-08 01:52 2.2K 
[ ]SSR_distr_right.con.body.xml.gz2004-04-08 01:52 2.2K 
[ ]SSR_plus_reg_right.con.types.xml.gz2004-04-08 01:52 2.3K 
[ ]Setoid_Ring_Theory_ind.con.types.xml.gz2004-04-08 01:52 2.3K 
[ ]STh_mult_one_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]STh_opp_opp2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]STh_mult_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]STh_plus_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]STh_opp_zero.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]STh_opp_def2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]SSR_mult_one_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]SSR_plus_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]SSR_mult_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Saux2.con.body.xml.gz2004-04-08 01:52 2.4K 
[ ]STh_opp_mult_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]STh_mult_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]STh_plus_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]STh_distr_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]SSR_mult_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]SSR_plus_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]SSR_distr_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Semi_Setoid_Ring_Theory_ind.con.types.xml.gz2004-04-08 01:52 2.6K 
[ ]STh_plus_opp_opp.con.types.xml.gz2004-04-08 01:52 2.6K 
[ ]STh_plus_permute_opp.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Semi_Setoid_Ring_Theory_of.con.body.xml.gz2004-04-08 01:52 2.6K 
[ ]STh_plus_reg_left.con.types.xml.gz2004-04-08 01:52 2.8K 
[ ]STh_plus_opp_opp.con.body.xml.gz2004-04-08 01:52 3.1K 
[ ]Semi_Setoid_Ring_Theory_of.con.types.xml.gz2004-04-08 01:52 3.2K 
[ ]STh_plus_reg_left.con.body.xml.gz2004-04-08 01:52 3.5K 
[ ]INDEX2005-07-05 08:11 5.0K 
[ ]Semi_Setoid_Ring_Theory_of.con.proof_tree.xml.gz2004-04-09 18:52 8.7K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80