Index of /xml/Coq/ring/Ring_theory

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]SR_distr_left.con.body.xml.gz2004-04-08 01:29 2.1K 
[ ]SR_distr_left.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_distr_left.con.xml.gz2004-04-08 01:29 617  
[ ]SR_mult_assoc.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_mult_assoc.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_mult_assoc.con.xml.gz2004-04-08 01:29 577  
[ ]SR_mult_comm.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_mult_comm.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]SR_mult_comm.con.xml.gz2004-04-08 01:29 520  
[ ]SR_mult_one_left.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_mult_one_left.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]SR_mult_one_left.con.xml.gz2004-04-08 01:29 493  
[ ]SR_mult_zero_left.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_mult_zero_left.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]SR_mult_zero_left.con.xml.gz2004-04-08 01:29 493  
[ ]SR_plus_assoc.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_assoc.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_assoc.con.xml.gz2004-04-08 01:29 577  
[ ]SR_plus_comm.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_comm.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]SR_plus_comm.con.xml.gz2004-04-08 01:29 520  
[ ]SR_plus_zero_left.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_zero_left.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]SR_plus_zero_left.con.xml.gz2004-04-08 01:29 493  
[ ]Semi_Ring_Theory.ind.types.xml.gz2004-04-08 01:29 210  
[ ]Semi_Ring_Theory.ind.xml.gz2004-04-08 01:29 1.7K 
[ ]Semi_Ring_Theory_ind.con.body.xml.gz2004-04-08 01:29 420  
[ ]Semi_Ring_Theory_ind.con.types.xml.gz2004-04-08 01:29 2.6K 
[ ]Semi_Ring_Theory_ind.con.xml.gz2004-04-08 01:29 1.7K 
[ ]Semi_Ring_Theory_rec.con.body.xml.gz2004-04-08 01:29 418  
[ ]Semi_Ring_Theory_rec.con.types.xml.gz2004-04-08 01:29 217  
[ ]Semi_Ring_Theory_rec.con.xml.gz2004-04-08 01:29 1.7K 
[ ]Semi_Ring_Theory_rect.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Semi_Ring_Theory_rect.con.types.xml.gz2004-04-08 01:29 218  
[ ]Semi_Ring_Theory_rect.con.xml.gz2004-04-08 01:29 1.7K 
[ ]SR_distr_left2.con.body.xml.gz2004-04-08 01:29 713  
[ ]SR_distr_left2.con.types.xml.gz2004-04-08 01:29 829  
[ ]SR_distr_left2.con.xml.gz2004-04-08 01:29 588  
[ ]SR_distr_right.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]SR_distr_right.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]SR_distr_right.con.xml.gz2004-04-08 01:29 606  
[ ]SR_distr_right2.con.body.xml.gz2004-04-08 01:29 723  
[ ]SR_distr_right2.con.types.xml.gz2004-04-08 01:29 831  
[ ]SR_distr_right2.con.xml.gz2004-04-08 01:29 596  
[ ]SR_eq_prop.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_eq_prop.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]SR_eq_prop.con.xml.gz2004-04-08 01:29 550  
[ ]SR_mult_assoc2.con.body.xml.gz2004-04-08 01:29 679  
[ ]SR_mult_assoc2.con.types.xml.gz2004-04-08 01:29 779  
[ ]SR_mult_assoc2.con.xml.gz2004-04-08 01:29 567  
[ ]SR_mult_one_left2.con.body.xml.gz2004-04-08 01:29 568  
[ ]SR_mult_one_left2.con.types.xml.gz2004-04-08 01:29 573  
[ ]SR_mult_one_left2.con.xml.gz2004-04-08 01:29 474  
[ ]SR_mult_one_right.con.body.xml.gz2004-04-08 01:29 659  
[ ]SR_mult_one_right.con.types.xml.gz2004-04-08 01:29 646  
[ ]SR_mult_one_right.con.xml.gz2004-04-08 01:29 487  
[ ]SR_mult_one_right2.con.body.xml.gz2004-04-08 01:29 794  
[ ]SR_mult_one_right2.con.types.xml.gz2004-04-08 01:29 678  
[ ]SR_mult_one_right2.con.xml.gz2004-04-08 01:29 491  
[ ]SR_mult_permute.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]SR_mult_permute.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]SR_mult_permute.con.xml.gz2004-04-08 01:29 573  
[ ]SR_mult_zero_left2.con.body.xml.gz2004-04-08 01:29 570  
[ ]SR_mult_zero_left2.con.types.xml.gz2004-04-08 01:29 572  
[ ]SR_mult_zero_left2.con.xml.gz2004-04-08 01:29 476  
[ ]SR_mult_zero_right.con.body.xml.gz2004-04-08 01:29 658  
[ ]SR_mult_zero_right.con.types.xml.gz2004-04-08 01:29 650  
[ ]SR_mult_zero_right.con.xml.gz2004-04-08 01:29 487  
[ ]SR_mult_zero_right2.con.body.xml.gz2004-04-08 01:29 799  
[ ]SR_mult_zero_right2.con.types.xml.gz2004-04-08 01:29 680  
[ ]SR_mult_zero_right2.con.xml.gz2004-04-08 01:29 491  
[ ]SR_plus_assoc2.con.body.xml.gz2004-04-08 01:29 679  
[ ]SR_plus_assoc2.con.types.xml.gz2004-04-08 01:29 779  
[ ]SR_plus_assoc2.con.xml.gz2004-04-08 01:29 567  
[ ]SR_plus_permute.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]SR_plus_permute.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]SR_plus_permute.con.xml.gz2004-04-08 01:29 573  
[ ]SR_plus_reg_left.con.body.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_reg_left.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]SR_plus_reg_left.con.xml.gz2004-04-08 01:29 578  
[ ]SR_plus_reg_right.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]SR_plus_reg_right.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]SR_plus_reg_right.con.xml.gz2004-04-08 01:29 578  
[ ]SR_plus_zero_left2.con.body.xml.gz2004-04-08 01:29 570  
[ ]SR_plus_zero_left2.con.types.xml.gz2004-04-08 01:29 575  
[ ]SR_plus_zero_left2.con.xml.gz2004-04-08 01:29 476  
[ ]SR_plus_zero_right.con.body.xml.gz2004-04-08 01:29 659  
[ ]SR_plus_zero_right.con.types.xml.gz2004-04-08 01:29 648  
[ ]SR_plus_zero_right.con.xml.gz2004-04-08 01:29 488  
[ ]SR_plus_zero_right2.con.body.xml.gz2004-04-08 01:29 799  
[ ]SR_plus_zero_right2.con.types.xml.gz2004-04-08 01:29 687  
[ ]SR_plus_zero_right2.con.xml.gz2004-04-08 01:29 492  
[ ]Ring_Theory.ind.types.xml.gz2004-04-08 01:29 200  
[ ]Ring_Theory.ind.xml.gz2004-04-08 01:29 1.6K 
[ ]Ring_Theory_ind.con.body.xml.gz2004-04-08 01:29 412  
[ ]Ring_Theory_ind.con.types.xml.gz2004-04-08 01:29 2.4K 
[ ]Ring_Theory_ind.con.xml.gz2004-04-08 01:29 1.5K 
[ ]Ring_Theory_rec.con.body.xml.gz2004-04-08 01:29 408  
[ ]Ring_Theory_rec.con.types.xml.gz2004-04-08 01:29 209  
[ ]Ring_Theory_rec.con.xml.gz2004-04-08 01:29 1.5K 
[ ]Ring_Theory_rect.con.body.xml.gz2004-04-08 01:29 1.7K 
[ ]Ring_Theory_rect.con.types.xml.gz2004-04-08 01:29 210  
[ ]Ring_Theory_rect.con.xml.gz2004-04-08 01:29 1.5K 
[ ]Th_distr_left.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Th_distr_left.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Th_distr_left.con.xml.gz2004-04-08 01:29 609  
[ ]Th_eq_prop.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_eq_prop.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Th_eq_prop.con.xml.gz2004-04-08 01:29 545  
[ ]Th_mult_assoc.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Th_mult_assoc.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_mult_assoc.con.xml.gz2004-04-08 01:29 574  
[ ]Th_mult_assoc2.con.body.xml.gz2004-04-08 01:29 678  
[ ]Th_mult_assoc2.con.types.xml.gz2004-04-08 01:29 773  
[ ]Th_mult_assoc2.con.xml.gz2004-04-08 01:29 566  
[ ]Th_mult_one_left.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_mult_one_left.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]Th_mult_one_left.con.xml.gz2004-04-08 01:29 484  
[ ]Th_mult_sym.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_mult_sym.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Th_mult_sym.con.xml.gz2004-04-08 01:29 515  
[ ]Th_opp_def.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_opp_def.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]Th_opp_def.con.xml.gz2004-04-08 01:29 497  
[ ]Th_plus_assoc.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Th_plus_assoc.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_plus_assoc.con.xml.gz2004-04-08 01:29 574  
[ ]Th_plus_assoc2.con.body.xml.gz2004-04-08 01:29 678  
[ ]Th_plus_assoc2.con.types.xml.gz2004-04-08 01:29 773  
[ ]Th_plus_assoc2.con.xml.gz2004-04-08 01:29 566  
[ ]Th_plus_comm.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_plus_comm.con.types.xml.gz2004-04-08 01:29 1.7K 
[ ]Th_plus_comm.con.xml.gz2004-04-08 01:29 517  
[ ]Th_plus_zero_left.con.body.xml.gz2004-04-08 01:29 1.8K 
[ ]Th_plus_zero_left.con.types.xml.gz2004-04-08 01:29 1.6K 
[ ]Th_plus_zero_left.con.xml.gz2004-04-08 01:29 486  
[ ]Th_plus_zero_left2.con.body.xml.gz2004-04-08 01:29 567  
[ ]Th_plus_zero_left2.con.types.xml.gz2004-04-08 01:29 571  
[ ]Th_plus_zero_left2.con.xml.gz2004-04-08 01:29 475  
[ ]Th_distr_left2.con.body.xml.gz2004-04-08 01:29 712  
[ ]Th_distr_left2.con.types.xml.gz2004-04-08 01:29 823  
[ ]Th_distr_left2.con.xml.gz2004-04-08 01:29 587  
[ ]Th_mult_one_left2.con.body.xml.gz2004-04-08 01:29 566  
[ ]Th_mult_one_left2.con.types.xml.gz2004-04-08 01:29 569  
[ ]Th_mult_one_left2.con.xml.gz2004-04-08 01:29 475  
[ ]Th_mult_one_right.con.body.xml.gz2004-04-08 01:29 657  
[ ]Th_mult_one_right.con.types.xml.gz2004-04-08 01:29 642  
[ ]Th_mult_one_right.con.xml.gz2004-04-08 01:29 486  
[ ]Th_mult_one_right2.con.body.xml.gz2004-04-08 01:29 793  
[ ]Th_mult_one_right2.con.types.xml.gz2004-04-08 01:29 673  
[ ]Th_mult_one_right2.con.xml.gz2004-04-08 01:29 491  
[ ]Th_mult_opp_opp.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_mult_opp_opp.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_mult_opp_opp.con.xml.gz2004-04-08 01:29 567  
[ ]Th_mult_opp_opp2.con.body.xml.gz2004-04-08 01:29 673  
[ ]Th_mult_opp_opp2.con.types.xml.gz2004-04-08 01:29 712  
[ ]Th_mult_opp_opp2.con.xml.gz2004-04-08 01:29 576  
[ ]Th_mult_permute.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]Th_mult_permute.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Th_mult_permute.con.xml.gz2004-04-08 01:29 573  
[ ]Th_mult_zero_left.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_mult_zero_left.con.types.xml.gz2004-04-08 01:29 921  
[ ]Th_mult_zero_left.con.xml.gz2004-04-08 01:29 507  
[ ]Th_mult_zero_left2.con.body.xml.gz2004-04-08 01:29 599  
[ ]Th_mult_zero_left2.con.types.xml.gz2004-04-08 01:29 566  
[ ]Th_mult_zero_left2.con.xml.gz2004-04-08 01:29 503  
[ ]Th_mult_zero_right.con.body.xml.gz2004-04-08 01:29 690  
[ ]Th_mult_zero_right.con.types.xml.gz2004-04-08 01:29 646  
[ ]Th_mult_zero_right.con.xml.gz2004-04-08 01:29 512  
[ ]Th_mult_zero_right2.con.body.xml.gz2004-04-08 01:29 824  
[ ]Th_mult_zero_right2.con.types.xml.gz2004-04-08 01:29 671  
[ ]Th_mult_zero_right2.con.xml.gz2004-04-08 01:29 518  
[ ]Th_opp_def2.con.body.xml.gz2004-04-08 01:29 575  
[ ]Th_opp_def2.con.types.xml.gz2004-04-08 01:29 611  
[ ]Th_opp_def2.con.xml.gz2004-04-08 01:29 485  
[ ]Th_opp_mult_left.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Th_opp_mult_left.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Th_opp_mult_left.con.xml.gz2004-04-08 01:29 570  
[ ]Th_opp_mult_left2.con.body.xml.gz2004-04-08 01:29 675  
[ ]Th_opp_mult_left2.con.types.xml.gz2004-04-08 01:29 720  
[ ]Th_opp_mult_left2.con.xml.gz2004-04-08 01:29 576  
[ ]Th_opp_mult_right.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_opp_mult_right.con.types.xml.gz2004-04-08 01:29 934  
[ ]Th_opp_mult_right.con.xml.gz2004-04-08 01:29 579  
[ ]Th_opp_mult_right2.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]Th_opp_mult_right2.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_opp_mult_right2.con.xml.gz2004-04-08 01:29 584  
[ ]Th_opp_opp.con.body.xml.gz2004-04-08 01:29 810  
[ ]Th_opp_opp.con.types.xml.gz2004-04-08 01:29 809  
[ ]Th_opp_opp.con.xml.gz2004-04-08 01:29 496  
[ ]Th_opp_opp2.con.body.xml.gz2004-04-08 01:29 591  
[ ]Th_opp_opp2.con.types.xml.gz2004-04-08 01:29 574  
[ ]Th_opp_opp2.con.xml.gz2004-04-08 01:29 495  
[ ]Th_opp_zero.con.body.xml.gz2004-04-08 01:29 624  
[ ]Th_opp_zero.con.types.xml.gz2004-04-08 01:29 495  
[ ]Th_opp_zero.con.xml.gz2004-04-08 01:29 393  
[ ]Th_plus_opp_opp.con.body.xml.gz2004-04-08 01:29 2.2K 
[ ]Th_plus_opp_opp.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Th_plus_opp_opp.con.xml.gz2004-04-08 01:29 569  
[ ]Th_plus_permute.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]Th_plus_permute.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Th_plus_permute.con.xml.gz2004-04-08 01:29 572  
[ ]Th_plus_permute_opp.con.body.xml.gz2004-04-08 01:29 520  
[ ]Th_plus_permute_opp.con.types.xml.gz2004-04-08 01:29 733  
[ ]Th_plus_permute_opp.con.xml.gz2004-04-08 01:29 611  
[ ]Th_plus_zero_right.con.body.xml.gz2004-04-08 01:29 658  
[ ]Th_plus_zero_right.con.types.xml.gz2004-04-08 01:29 643  
[ ]Th_plus_zero_right.con.xml.gz2004-04-08 01:29 488  
[ ]Th_plus_zero_right2.con.body.xml.gz2004-04-08 01:29 797  
[ ]Th_plus_zero_right2.con.types.xml.gz2004-04-08 01:29 681  
[ ]Th_plus_zero_right2.con.xml.gz2004-04-08 01:29 492  
[ ]aux1.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]aux1.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]aux1.con.xml.gz2004-04-08 01:29 520  
[ ]aux2.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]aux2.con.types.xml.gz2004-04-08 01:29 1.3K 
[ ]aux2.con.xml.gz2004-04-08 01:29 593  
[ ]Semi_Ring_Theory_of.con.body.xml.gz2004-04-08 01:29 3.5K 
[ ]Semi_Ring_Theory_of.con.types.xml.gz2004-04-08 01:29 4.3K 
[ ]Semi_Ring_Theory_of.con.xml.gz2004-04-08 01:29 813  
[ ]Th_distr_right.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]Th_distr_right.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Th_distr_right.con.xml.gz2004-04-08 01:29 604  
[ ]Th_distr_right2.con.body.xml.gz2004-04-08 01:29 722  
[ ]Th_distr_right2.con.types.xml.gz2004-04-08 01:29 824  
[ ]Th_distr_right2.con.xml.gz2004-04-08 01:29 596  
[ ]Th_plus_reg_left.con.body.xml.gz2004-04-08 01:29 2.7K 
[ ]Th_plus_reg_left.con.types.xml.gz2004-04-08 01:29 2.6K 
[ ]Th_plus_reg_left.con.xml.gz2004-04-08 01:29 583  
[ ]Th_plus_reg_right.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Th_plus_reg_right.con.types.xml.gz2004-04-08 01:29 860  
[ ]Th_plus_reg_right.con.xml.gz2004-04-08 01:29 578  
[ ]SR_distr_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]SR_distr_right.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]SR_distr_right2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]SR_mult_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]SR_mult_one_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]SR_mult_one_right.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]SR_mult_one_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]SR_mult_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]SR_mult_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]SR_mult_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 884  
[ ]SR_mult_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 879  
[ ]SR_plus_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]SR_plus_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]SR_plus_reg_right.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]SR_plus_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]SR_plus_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 882  
[ ]SR_plus_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 877  
[ ]Semi_Ring_Theory_of.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]Th_distr_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Th_distr_right.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Th_distr_right2.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]Th_mult_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Th_mult_one_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Th_mult_one_right.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Th_mult_one_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Th_mult_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Th_mult_opp_opp2.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Th_mult_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Th_mult_zero_left.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Th_mult_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Th_mult_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Th_mult_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Th_opp_def2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Th_opp_mult_left.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Th_opp_mult_left2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Th_opp_mult_right.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Th_opp_mult_right2.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Th_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Th_opp_opp2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Th_opp_zero.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Th_plus_assoc2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Th_plus_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Th_plus_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Th_plus_permute_opp.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Th_plus_reg_left.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]Th_plus_reg_right.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Th_plus_zero_left2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Th_plus_zero_right.con.proof_tree.xml.gz2004-04-09 18:52 877  
[ ]Th_plus_zero_right2.con.proof_tree.xml.gz2004-04-09 18:52 872  
[ ]aux1.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]aux2.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]INDEX2005-07-05 08:11 4.5K 
[DIR]Theory_of_rings/2005-07-05 08:13 -  
[DIR]Theory_of_semi_rings/2005-07-05 08:13 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80