Index of /xml/CoRN/algebra/CRings

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]CRing_Ops/2005-07-05 08:13 -  
[DIR]CRing_axioms/2005-07-05 08:13 -  
[DIR]Dist_properties/2005-07-05 08:13 -  
[DIR]NExp_properties/2005-07-05 08:13 -  
[DIR]Ring_basics/2005-07-05 08:13 -  
[DIR]Ring_constructions/2005-07-05 08:13 -  
[DIR]Ring_sums/2005-07-05 08:13 -  
[DIR]Ring_unfolded/2005-07-05 08:13 -  
[DIR]ScalarMultiplication/2005-07-05 08:13 -  
[DIR]exponentiation/2005-07-05 08:13 -  
[DIR]int_injection/2005-07-05 08:13 -  
[DIR]nat_injection/2005-07-05 08:13 -  
[ ]CRing.ind.types.xml.gz2004-11-09 10:24 193  
[ ]nexp.con.types.xml.gz2004-11-09 10:25 193  
[ ]nring.con.types.xml.gz2004-11-09 10:25 194  
[ ]Char0.con.types.xml.gz2004-11-09 10:25 195  
[ ]pring.con.types.xml.gz2004-11-09 10:25 195  
[ ]zring.con.types.xml.gz2004-11-09 10:25 195  
[ ]cr_crr.con.types.xml.gz2004-11-09 10:24 197  
[ ]cr_inv.con.types.xml.gz2004-11-09 10:24 197  
[ ]cr_one.con.types.xml.gz2004-11-09 10:24 197  
[ ]cr_mult.con.types.xml.gz2004-11-09 10:24 199  
[ ]cr_plus.con.types.xml.gz2004-11-09 10:24 199  
[ ]cr_proof.con.types.xml.gz2004-11-09 10:24 200  
[ ]CRing_rec.con.types.xml.gz2004-11-09 10:24 201  
[ ]Sum_upto.con.types.xml.gz2004-11-09 10:25 201  
[ ]cr_minus.con.types.xml.gz2004-11-09 10:24 201  
[ ]seq_from.con.types.xml.gz2004-11-09 10:25 201  
[ ]Fscalmult.con.types.xml.gz2004-11-09 10:26 202  
[ ]pring_aux.con.types.xml.gz2004-11-09 10:25 202  
[ ]zring_old.con.types.xml.gz2004-11-09 10:25 202  
[ ]CRing_rect.con.types.xml.gz2004-11-09 10:24 203  
[ ]RList_Mem.con.types.xml.gz2004-11-09 10:25 203  
[ ]CRing_is_CRing.con.types.xml.gz2004-11-09 10:24 206  
[ ]distributive.con.types.xml.gz2004-11-09 10:24 206  
[ ]is_zero_lft.con.types.xml.gz2004-11-09 10:24 206  
[ ]is_zero_rht.con.types.xml.gz2004-11-09 10:24 206  
[ ]List_Sum_upto.con.types.xml.gz2004-11-09 10:25 210  
[ ]Sum_from_upto.con.types.xml.gz2004-11-09 10:25 210  
[ ]Sum_from_upto_alt.con.types.xml.gz2004-11-09 10:25 217  
[ ]List_Sum_from_upto.con.types.xml.gz2004-11-09 10:25 219  
[ ]Char0.con.xml.gz2004-11-09 10:25 235  
[ ]cr_inv.con.body.xml.gz2004-11-09 10:24 247  
[ ]cr_minus.con.body.xml.gz2004-11-09 10:24 250  
[ ]cr_plus.con.body.xml.gz2004-11-09 10:24 254  
[ ]Build_multCMonoid.con.xml.gz2004-11-09 10:24 275  
[ ]cr_crr.con.xml.gz2004-11-09 10:24 295  
[ ]one_ap_zero.con.body.xml.gz2004-11-09 10:24 329  
[ ]ring_dist_unfolded.con.body.xml.gz2004-11-09 10:24 334  
[ ]mult_assoc_unfolded.con.body.xml.gz2004-11-09 10:24 339  
[ ]mult_one.con.body.xml.gz2004-11-09 10:24 339  
[ ]one_mult.con.body.xml.gz2004-11-09 10:24 339  
[ ]mult_commut_unfolded.con.body.xml.gz2004-11-09 10:24 340  
[ ]CRing_is_CRing.con.xml.gz2004-11-09 10:24 367  
[ ]CRing_rec.con.body.xml.gz2004-11-09 10:24 407  
[ ]CRing_ind.con.body.xml.gz2004-11-09 10:24 408  
[ ]cr_proof.con.xml.gz2004-11-09 10:24 415  
[ ]cr_plus.con.xml.gz2004-11-09 10:24 425  
[ ]Fmult.con.xml.gz2004-11-09 10:26 427  
[ ]distributive.con.xml.gz2004-11-09 10:24 430  
[ ]Fnth.con.xml.gz2004-11-09 10:26 432  
[ ]pring.con.body.xml.gz2004-11-09 10:25 432  
[ ]is_zero_lft.con.xml.gz2004-11-09 10:24 450  
[ ]is_zero_rht.con.xml.gz2004-11-09 10:24 450  
[ ]cr_one.con.xml.gz2004-11-09 10:24 465  
[ ]cr_inv.con.xml.gz2004-11-09 10:24 466  
[ ]nring.con.xml.gz2004-11-09 10:25 477  
[ ]zring.con.xml.gz2004-11-09 10:25 480  
[ ]pring.con.xml.gz2004-11-09 10:25 481  
[ ]zring_old.con.xml.gz2004-11-09 10:25 483  
[ ]zring_old_zero.con.body.xml.gz2004-11-09 10:25 485  
[ ]dist.con.xml.gz2004-11-09 10:24 491  
[ ]zring_old_plus_nat_subproof.con.xml.gz2004-11-09 10:25 498  
[ ]zring_one.con.body.xml.gz2004-11-09 10:25 498  
[ ]zring_old_plus_nat_subproof0.con.xml.gz2004-11-09 10:25 504  
[ ]one_ap_zero.con.types.xml.gz2004-11-09 10:24 507  
[ ]cr_mult.con.xml.gz2004-11-09 10:24 513  
[ ]mult_mon.con.xml.gz2004-11-09 10:24 524  
[ ]zring_one.con.xml.gz2004-11-09 10:25 524  
[ ]zring_old_one.con.xml.gz2004-11-09 10:25 533  
[ ]zring_zero.con.xml.gz2004-11-09 10:25 535  
[ ]zring_old_zero.con.xml.gz2004-11-09 10:25 540  
[ ]zring_zero.con.body.xml.gz2004-11-09 10:25 540  
[ ]cr_minus.con.xml.gz2004-11-09 10:24 547  
[ ]zring_old_inv_subproof0.con.xml.gz2004-11-09 10:25 560  
[ ]nexp.con.xml.gz2004-11-09 10:25 563  
[ ]zring_old_inv_subproof.con.xml.gz2004-11-09 10:25 566  
[ ]pring_aux.con.xml.gz2004-11-09 10:25 580  
[ ]zring_zring_old.con.xml.gz2004-11-09 10:25 581  
[ ]Fnth.con.types.xml.gz2004-11-09 10:26 589  
[ ]nexp_op.con.types.xml.gz2004-11-09 10:25 593  
[ ]nexp_op.con.xml.gz2004-11-09 10:25 597  
[ ]Sum_upto.con.xml.gz2004-11-09 10:25 604  
[ ]Build_multCMonoid.con.body.xml.gz2004-11-09 10:24 610  
[ ]Sum_from_upto.con.xml.gz2004-11-09 10:25 614  
[ ]seq_from.con.xml.gz2004-11-09 10:25 614  
[ ]one_ap_zero.con.xml.gz2004-11-09 10:24 616  
[ ]ring_non_triv.con.xml.gz2004-11-09 10:24 622  
[ ]included_FNth.con.body.xml.gz2004-11-09 10:26 625  
[ ]RList_Mem.con.xml.gz2004-11-09 10:25 627  
[ ]Sum_from_upto_alt.con.xml.gz2004-11-09 10:25 628  
[ ]nexp_op.con.body.xml.gz2004-11-09 10:25 629  
[ ]List_Sum_upto.con.xml.gz2004-11-09 10:25 635  
[ ]Fscalmult.con.xml.gz2004-11-09 10:26 641  
[ ]pring_convert.con.xml.gz2004-11-09 10:25 646  
[ ]List_Sum_from_upto.con.xml.gz2004-11-09 10:25 647  
[ ]seq_from.con.body.xml.gz2004-11-09 10:25 650  
[ ]zring_plus_nat.con.xml.gz2004-11-09 10:25 652  
[ ]zring_one.con.types.xml.gz2004-11-09 10:25 654  
[ ]Char0.con.body.xml.gz2004-11-09 10:25 656  
[ ]zring_old_plus_nat.con.xml.gz2004-11-09 10:25 661  
[ ]is_zero_rht.con.body.xml.gz2004-11-09 10:24 669  
[ ]is_zero_lft.con.body.xml.gz2004-11-09 10:24 672  
[ ]nexp_well_def.con.xml.gz2004-11-09 10:25 677  
[ ]nexp_strong_ext.con.xml.gz2004-11-09 10:25 682  
[ ]zring_minus.con.xml.gz2004-11-09 10:25 688  
[ ]zring_old_minus.con.xml.gz2004-11-09 10:25 690  
[ ]Sum_from_upto_alt.con.body.xml.gz2004-11-09 10:25 706  
[ ]zring_old_plus_subproof0.con.xml.gz2004-11-09 10:25 707  
[ ]zring_old_plus_subproof.con.xml.gz2004-11-09 10:25 711  
[ ]Sum_from_upto.con.body.xml.gz2004-11-09 10:25 719  
[ ]pring_aux_nring.con.xml.gz2004-11-09 10:25 723  
[ ]zring_zero.con.types.xml.gz2004-11-09 10:25 724  
[ ]included_FMult'.con.xml.gz2004-11-09 10:26 741  
[ ]included_FMult''.con.xml.gz2004-11-09 10:26 743  
[ ]sum_upto_O.con.xml.gz2004-11-09 10:25 743  
[ ]mult_assoc.con.xml.gz2004-11-09 10:24 745  
[ ]mult_commutes.con.xml.gz2004-11-09 10:24 745  
[ ]sum_upto_O.con.body.xml.gz2004-11-09 10:25 745  
[ ]List_Sum_from_upto.con.body.xml.gz2004-11-09 10:25 746  
[ ]list_sum_upto_O.con.body.xml.gz2004-11-09 10:25 750  
[ ]CRing.ind.xml.gz2004-11-09 10:24 754  
[ ]inv_nexp_two.con.body.xml.gz2004-11-09 10:26 759  
[ ]list_sum_upto_O.con.xml.gz2004-11-09 10:25 776  
[ ]is_CRing.ind.types.xml.gz2004-11-09 10:24 777  
[ ]zring_diff.con.xml.gz2004-11-09 10:25 779  
[ ]included_FNth'.con.body.xml.gz2004-11-09 10:26 789  
[ ]zring_old_diff.con.xml.gz2004-11-09 10:25 790  
[ ]is_CRing_rec.con.types.xml.gz2004-11-09 10:24 793  
[ ]zring_old.con.body.xml.gz2004-11-09 10:25 793  
[ ]zring_plus_nat.con.body.xml.gz2004-11-09 10:25 796  
[ ]ax_non_triv.con.xml.gz2004-11-09 10:24 809  
[ ]is_CRing_rec.con.body.xml.gz2004-11-09 10:24 814  
[ ]included_FMult.con.xml.gz2004-11-09 10:26 815  
[ ]is_CRing_ind.con.body.xml.gz2004-11-09 10:24 816  
[ ]ax_dist.con.xml.gz2004-11-09 10:24 825  
[ ]cr_crr.con.body.xml.gz2004-11-09 10:24 826  
[ ]zring_old_zero.con.types.xml.gz2004-11-09 10:25 829  
[ ]Fscalmult.con.body.xml.gz2004-11-09 10:26 847  
[ ]included_FNth.con.xml.gz2004-11-09 10:26 853  
[ ]pring_aux_lemma.con.xml.gz2004-11-09 10:25 854  
[ ]zring_inv.con.xml.gz2004-11-09 10:25 861  
[ ]zring_old_inv.con.xml.gz2004-11-09 10:25 861  
[ ]CRing_is_CRing.con.body.xml.gz2004-11-09 10:24 862  
[ ]CRing_rect.con.xml.gz2004-11-09 10:24 872  
[ ]ax_mult_mon.con.xml.gz2004-11-09 10:24 874  
[ ]CRing_rec.con.xml.gz2004-11-09 10:24 875  
[ ]CRing_ind.con.xml.gz2004-11-09 10:24 880  
[ ]included_FNth'.con.xml.gz2004-11-09 10:26 899  
[ ]included_FScalMult'.con.xml.gz2004-11-09 10:26 900  
[ ]included_FScalMult.con.xml.gz2004-11-09 10:26 906  
[ ]included_FMult'.con.body.xml.gz2004-11-09 10:26 907  
[ ]zring_old_mult_subproof0.con.xml.gz2004-11-09 10:25 908  
[ ]cr_one.con.body.xml.gz2004-11-09 10:24 909  
[ ]mult_one.con.xml.gz2004-11-09 10:24 909  
[ ]zring_old_mult_subproof.con.xml.gz2004-11-09 10:25 910  
[ ]included_FMult''.con.body.xml.gz2004-11-09 10:26 911  
[ ]one_mult.con.xml.gz2004-11-09 10:24 912  
[ ]nexp_one.con.xml.gz2004-11-09 10:26 915  
[ ]cr_proof.con.body.xml.gz2004-11-09 10:24 916  
[ ]zring_inv_nat.con.xml.gz2004-11-09 10:25 916  
[ ]cr_mult.con.body.xml.gz2004-11-09 10:24 920  
[ ]nring_different.con.xml.gz2004-11-09 10:25 924  
[ ]zring_old_inv_nat.con.xml.gz2004-11-09 10:25 928  
[ ]zring_mult.con.xml.gz2004-11-09 10:25 949  
[ ]distributive.con.body.xml.gz2004-11-09 10:24 953  
[ ]nring_comm_mult.con.xml.gz2004-11-09 10:25 957  
[ ]zring_old_mult.con.xml.gz2004-11-09 10:25 958  
[ ]one_nexp.con.xml.gz2004-11-09 10:25 1.0K 
[ ]cring_mult_zero_op.con.xml.gz2004-11-09 10:24 1.0K 
[ ]zring_plus.con.xml.gz2004-11-09 10:25 1.0K 
[ ]ax_mult_com.con.xml.gz2004-11-09 10:24 1.0K 
[ ]cring_mult_zero.con.xml.gz2004-11-09 10:24 1.0K 
[ ]ax_mult_assoc.con.xml.gz2004-11-09 10:24 1.0K 
[ ]CRing_rect.con.body.xml.gz2004-11-09 10:24 1.0K 
[ ]zring_diff.con.body.xml.gz2004-11-09 10:25 1.0K 
[ ]included_FMult.con.body.xml.gz2004-11-09 10:26 1.0K 
[ ]nring_comm_plus.con.xml.gz2004-11-09 10:25 1.0K 
[ ]zring_old_plus.con.xml.gz2004-11-09 10:25 1.0K 
[ ]double_nring.con.xml.gz2004-11-09 10:25 1.0K 
[ ]mult_one.con.types.xml.gz2004-11-09 10:24 1.0K 
[ ]one_mult.con.types.xml.gz2004-11-09 10:24 1.0K 
[ ]zring.con.body.xml.gz2004-11-09 10:25 1.0K 
[ ]nexp_wd.con.body.xml.gz2004-11-09 10:25 1.1K 
[ ]zring_plus_nat.con.types.xml.gz2004-11-09 10:25 1.1K 
[ ]zring_inv_nat.con.body.xml.gz2004-11-09 10:25 1.1K 
[ ]sum_upto_O.con.types.xml.gz2004-11-09 10:25 1.1K 
[ ]is_CRing_rect.con.types.xml.gz2004-11-09 10:24 1.1K 
[ ]Build_multCMonoid.con.types.xml.gz2004-11-09 10:24 1.1K 
[ ]x_mult_zero.con.xml.gz2004-11-09 10:24 1.1K 
[ ]included_FScalMult'.con.body.xml.gz2004-11-09 10:26 1.1K 
[ ]list_sum_upto_O.con.types.xml.gz2004-11-09 10:25 1.1K 
[ ]one_plus_one.con.xml.gz2004-11-09 10:25 1.1K 
[ ]zero_nexp.con.xml.gz2004-11-09 10:25 1.2K 
[ ]included_FNth.con.types.xml.gz2004-11-09 10:26 1.2K 
[ ]sumx_const.con.xml.gz2004-11-09 10:25 1.2K 
[ ]nexp_two.con.xml.gz2004-11-09 10:26 1.2K 
[ ]zring_inv_one.con.xml.gz2004-11-09 10:25 1.2K 
[ ]CRing_ind.con.types.xml.gz2004-11-09 10:24 1.2K 
[ ]included_FScalMult.con.body.xml.gz2004-11-09 10:26 1.2K 
[ ]cring_mult_ap_zero.con.xml.gz2004-11-09 10:24 1.2K 
[ ]cring_mult_ap_zero_op.con.xml.gz2004-11-09 10:24 1.2K 
[ ]mult_commut_unfolded.con.xml.gz2004-11-09 10:24 1.2K 
[ ]zring_old_inv_one.con.xml.gz2004-11-09 10:25 1.2K 
[ ]inv_one_even_nexp.con.xml.gz2004-11-09 10:26 1.2K 
[ ]nexp_strext.con.xml.gz2004-11-09 10:25 1.2K 
[ ]nexp_wd.con.xml.gz2004-11-09 10:25 1.3K 
[ ]mult_wdr.con.body.xml.gz2004-11-09 10:24 1.3K 
[ ]mult_wdl.con.body.xml.gz2004-11-09 10:24 1.3K 
[ ]mult_wd.con.body.xml.gz2004-11-09 10:24 1.3K 
[ ]included_FNth'.con.types.xml.gz2004-11-09 10:26 1.3K 
[ ]included_FMult'.con.types.xml.gz2004-11-09 10:26 1.3K 
[ ]nring.con.body.xml.gz2004-11-09 10:25 1.3K 
[ ]included_FMult''.con.types.xml.gz2004-11-09 10:26 1.3K 
[ ]x_plus_x.con.xml.gz2004-11-09 10:25 1.3K 
[ ]mult_wdr.con.xml.gz2004-11-09 10:24 1.3K 
[ ]mult_wdl.con.xml.gz2004-11-09 10:24 1.3K 
[ ]nexp_mult.con.xml.gz2004-11-09 10:25 1.3K 
[ ]mult_minus1.con.xml.gz2004-11-09 10:25 1.3K 
[ ]Fnth.con.body.xml.gz2004-11-09 10:26 1.3K 
[ ]inv_nexp_even.con.xml.gz2004-11-09 10:26 1.3K 
[ ]inv_nexp_two.con.xml.gz2004-11-09 10:26 1.3K 
[ ]nexp_strext.con.types.xml.gz2004-11-09 10:25 1.4K 
[ ]nexp_Sn.con.xml.gz2004-11-09 10:25 1.4K 
[ ]inv_one_odd_nexp.con.xml.gz2004-11-09 10:26 1.4K 
[ ]zring_diff.con.types.xml.gz2004-11-09 10:25 1.4K 
[ ]nexp_strext.con.body.xml.gz2004-11-09 10:25 1.4K 
[ ]inv_one_even_nexp.con.body.xml.gz2004-11-09 10:26 1.4K 
[ ]mult_wd.con.xml.gz2004-11-09 10:24 1.5K 
[ ]cring_mult_zero_op.con.body.xml.gz2004-11-09 10:24 1.5K 
[ ]Sum_upto.con.body.xml.gz2004-11-09 10:25 1.5K 
[ ]mult_commut_unfolded.con.types.xml.gz2004-11-09 10:24 1.5K 
[ ]inv_nexp_odd.con.xml.gz2004-11-09 10:26 1.5K 
[ ]included_FScalMult'.con.types.xml.gz2004-11-09 10:26 1.6K 
[ ]mult_distr_sum0_lft.con.xml.gz2004-11-09 10:25 1.6K 
[ ]List_Sum_upto.con.body.xml.gz2004-11-09 10:25 1.6K 
[ ]nexp_plus.con.xml.gz2004-11-09 10:25 1.6K 
[ ]nexp.con.body.xml.gz2004-11-09 10:25 1.6K 
[ ]inv_mult_invol.con.xml.gz2004-11-09 10:24 1.6K 
[ ]mult_distr_sum_lft.con.xml.gz2004-11-09 10:25 1.6K 
[ ]mult_distr_sum_rht.con.xml.gz2004-11-09 10:25 1.6K 
[ ]cring_inv_mult_lft.con.xml.gz2004-11-09 10:24 1.6K 
[ ]cring_inv_mult_rht.con.xml.gz2004-11-09 10:24 1.6K 
[ ]ring_distr1.con.xml.gz2004-11-09 10:25 1.6K 
[ ]nexp_one.con.body.xml.gz2004-11-09 10:26 1.6K 
[ ]dist_2a.con.xml.gz2004-11-09 10:25 1.6K 
[ ]ring_distr2.con.xml.gz2004-11-09 10:25 1.6K 
[ ]ring_dist_minus.con.xml.gz2004-11-09 10:25 1.6K 
[ ]dist_2b.con.xml.gz2004-11-09 10:25 1.6K 
[ ]ring_distl_minus.con.xml.gz2004-11-09 10:25 1.6K 
[ ]part_function_nth_strext.con.xml.gz2004-11-09 10:26 1.6K 
[ ]nexp_wd.con.types.xml.gz2004-11-09 10:25 1.7K 
[ ]RList_Mem.con.body.xml.gz2004-11-09 10:25 1.7K 
[ ]mult_assoc_unfolded.con.xml.gz2004-11-09 10:24 1.7K 
[ ]zring_inv_nat.con.types.xml.gz2004-11-09 10:25 1.8K 
[ ]zring_minus.con.body.xml.gz2004-11-09 10:25 1.8K 
[ ]nexp_funny'.con.xml.gz2004-11-09 10:26 1.8K 
[ ]included_FMult.con.types.xml.gz2004-11-09 10:26 1.9K 
[ ]mult_nexp.con.xml.gz2004-11-09 10:25 1.9K 
[ ]nexp_funny.con.xml.gz2004-11-09 10:26 1.9K 
[ ]cring_mult_ap_zero_op.con.body.xml.gz2004-11-09 10:24 1.9K 
[ ]one_plus_one.con.body.xml.gz2004-11-09 10:25 1.9K 
[ ]mult_wdl.con.types.xml.gz2004-11-09 10:24 1.9K 
[ ]mult_wdr.con.types.xml.gz2004-11-09 10:24 1.9K 
[ ]is_CRing.ind.xml.gz2004-11-09 10:24 1.9K 
[ ]pring_convert.con.body.xml.gz2004-11-09 10:25 1.9K 
[ ]zring_old_one.con.body.xml.gz2004-11-09 10:25 2.0K 
[ ]x_mult_zero.con.body.xml.gz2004-11-09 10:24 2.0K 
[ ]part_function_nth_strext.con.body.xml.gz2004-11-09 10:26 2.0K 
[ ]part_function_nth_strext.con.types.xml.gz2004-11-09 10:26 2.0K 
[ ]ring_dist_unfolded.con.xml.gz2004-11-09 10:24 2.0K 
[ ]included_FScalMult.con.types.xml.gz2004-11-09 10:26 2.0K 
[ ]is_CRing_rec.con.xml.gz2004-11-09 10:24 2.0K 
[ ]is_CRing_rect.con.xml.gz2004-11-09 10:24 2.0K 
[ ]dist_1b.con.xml.gz2004-11-09 10:25 2.0K 
[ ]is_CRing_ind.con.xml.gz2004-11-09 10:24 2.0K 
[ ]mult_wd.con.types.xml.gz2004-11-09 10:24 2.0K 
[ ]ax_dist.con.body.xml.gz2004-11-09 10:24 2.0K 
[ ]nexp_well_def.con.body.xml.gz2004-11-09 10:25 2.0K 
[ ]dist.con.body.xml.gz2004-11-09 10:24 2.1K 
[ ]ring_distl_unfolded.con.xml.gz2004-11-09 10:24 2.1K 
[ ]ring_non_triv.con.body.xml.gz2004-11-09 10:24 2.1K 
[ ]ax_non_triv.con.body.xml.gz2004-11-09 10:24 2.1K 
[ ]mult_assoc_unfolded.con.types.xml.gz2004-11-09 10:24 2.1K 
[ ]zring_minus.con.types.xml.gz2004-11-09 10:25 2.1K 
[ ]zring_inv.con.body.xml.gz2004-11-09 10:25 2.1K 
[ ]zring_old_inv_nat.con.body.xml.gz2004-11-09 10:25 2.1K 
[ ]ax_mult_mon.con.body.xml.gz2004-11-09 10:24 2.1K 
[ ]mult_mon.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]mult_assoc.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]mult_commutes.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]cring_mult_ap_zero_op.con.types.xml.gz2004-11-09 10:24 2.2K 
[ ]zring_old_plus_nat.con.body.xml.gz2004-11-09 10:25 2.2K 
[ ]ax_mult_assoc.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]pring_aux.con.body.xml.gz2004-11-09 10:25 2.2K 
[ ]ax_mult_com.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]is_CRing_rect.con.body.xml.gz2004-11-09 10:24 2.2K 
[ ]inv_one_odd_nexp.con.body.xml.gz2004-11-09 10:26 2.2K 
[ ]ring_dist_unfolded.con.types.xml.gz2004-11-09 10:24 2.3K 
[ ]cring_mult_zero_op.con.types.xml.gz2004-11-09 10:24 2.3K 
[ ]inv_nexp_two.con.types.xml.gz2004-11-09 10:26 2.3K 
[ ]ax_dist.con.types.xml.gz2004-11-09 10:24 2.4K 
[ ]nexp_Sn.con.body.xml.gz2004-11-09 10:25 2.4K 
[ ]ax_non_triv.con.types.xml.gz2004-11-09 10:24 2.4K 
[ ]ring_non_triv.con.types.xml.gz2004-11-09 10:24 2.4K 
[ ]zring_inv_one.con.body.xml.gz2004-11-09 10:25 2.4K 
[ ]square_minus.con.xml.gz2004-11-09 10:26 2.4K 
[ ]x_mult_zero.con.types.xml.gz2004-11-09 10:24 2.5K 
[ ]part_function_mult_strext.con.xml.gz2004-11-09 10:26 2.5K 
[ ]inv_one_even_nexp.con.types.xml.gz2004-11-09 10:26 2.5K 
[ ]zring_old_one.con.types.xml.gz2004-11-09 10:25 2.5K 
[ ]zring_mult.con.body.xml.gz2004-11-09 10:25 2.5K 
[ ]zring_old_plus_nat.con.types.xml.gz2004-11-09 10:25 2.6K 
[ ]nexp_one.con.types.xml.gz2004-11-09 10:26 2.6K 
[ ]mult_assoc.con.types.xml.gz2004-11-09 10:24 2.6K 
[ ]mult_commutes.con.types.xml.gz2004-11-09 10:24 2.6K 
[ ]zring_inv.con.types.xml.gz2004-11-09 10:25 2.7K 
[ ]zring_plus.con.body.xml.gz2004-11-09 10:25 2.7K 
[ ]dist.con.types.xml.gz2004-11-09 10:24 2.7K 
[ ]pring_convert.con.types.xml.gz2004-11-09 10:25 2.7K 
[ ]double_nring.con.body.xml.gz2004-11-09 10:25 2.7K 
[ ]ax_mult_assoc.con.types.xml.gz2004-11-09 10:24 2.8K 
[ ]Fmult.con.body.xml.gz2004-11-09 10:26 2.8K 
[ ]ax_mult_com.con.types.xml.gz2004-11-09 10:24 2.8K 
[ ]square_plus.con.xml.gz2004-11-09 10:26 2.9K 
[ ]nexp_funny'.con.body.xml.gz2004-11-09 10:26 2.9K 
[ ]zring_old_minus.con.body.xml.gz2004-11-09 10:25 2.9K 
[ ]mult_mon.con.types.xml.gz2004-11-09 10:24 3.2K 
[ ]is_CRing_ind.con.types.xml.gz2004-11-09 10:24 3.3K 
[ ]zring_old_inv_nat.con.types.xml.gz2004-11-09 10:25 3.3K 
[ ]zring_mult.con.types.xml.gz2004-11-09 10:25 3.3K 
[ ]one_plus_one.con.types.xml.gz2004-11-09 10:25 3.4K 
[ ]zring_zring_old.con.body.xml.gz2004-11-09 10:25 3.4K 
[ ]zring_plus.con.types.xml.gz2004-11-09 10:25 3.5K 
[ ]ax_mult_mon.con.types.xml.gz2004-11-09 10:24 3.6K 
[ ]zring_old_plus_nat_subproof0.con.types.xml.gz2004-11-09 10:25 3.6K 
[ ]double_nring.con.types.xml.gz2004-11-09 10:25 3.6K 
[ ]inv_one_odd_nexp.con.types.xml.gz2004-11-09 10:26 3.6K 
[ ]one_nexp.con.body.xml.gz2004-11-09 10:25 3.8K 
[ ]nexp_strong_ext.con.body.xml.gz2004-11-09 10:25 3.9K 
[ ]mult_distr_sum_rht.con.body.xml.gz2004-11-09 10:25 3.9K 
[ ]zring_old_plus_nat_subproof.con.types.xml.gz2004-11-09 10:25 4.0K 
[ ]nexp_Sn.con.types.xml.gz2004-11-09 10:25 4.0K 
[ ]nexp_well_def.con.types.xml.gz2004-11-09 10:25 4.2K 
[ ]zring_old_plus_nat_subproof0.con.body.xml.gz2004-11-09 10:25 4.3K 
[ ]zring_inv_one.con.types.xml.gz2004-11-09 10:25 4.4K 
[ ]zring_old_minus.con.types.xml.gz2004-11-09 10:25 4.4K 
[ ]cring_mult_ap_zero.con.body.xml.gz2004-11-09 10:24 4.5K 
[ ]nexp_two.con.body.xml.gz2004-11-09 10:26 4.5K 
[ ]cring_inv_mult_rht.con.body.xml.gz2004-11-09 10:24 4.5K 
[ ]zring_old_plus_nat_subproof.con.body.xml.gz2004-11-09 10:25 4.5K 
[ ]dist_2b.con.body.xml.gz2004-11-09 10:25 4.7K 
[ ]zring_zring_old.con.types.xml.gz2004-11-09 10:25 4.8K 
[ ]one_nexp.con.types.xml.gz2004-11-09 10:25 4.8K 
[ ]nexp_strong_ext.con.types.xml.gz2004-11-09 10:25 4.9K 
[ ]ring_dist_minus.con.body.xml.gz2004-11-09 10:25 5.0K 
[ ]ring_distl_minus.con.body.xml.gz2004-11-09 10:25 5.0K 
[ ]nexp_funny'.con.types.xml.gz2004-11-09 10:26 5.1K 
[ ]cring_mult_ap_zero.con.types.xml.gz2004-11-09 10:24 5.3K 
[ ]mult_distr_sum_lft.con.body.xml.gz2004-11-09 10:25 5.5K 
[ ]cring_inv_mult_lft.con.body.xml.gz2004-11-09 10:24 5.7K 
[ ]nexp_two.con.types.xml.gz2004-11-09 10:26 5.7K 
[ ]Fmult.con.types.xml.gz2004-11-09 10:26 6.1K 
[ ]mult_distr_sum_rht.con.types.xml.gz2004-11-09 10:25 6.2K 
[ ]dist_1b.con.body.xml.gz2004-11-09 10:25 6.4K 
[ ]cring_inv_mult_rht.con.types.xml.gz2004-11-09 10:24 6.4K 
[ ]dist_2b.con.types.xml.gz2004-11-09 10:25 6.7K 
[ ]inv_mult_invol.con.body.xml.gz2004-11-09 10:24 6.8K 
[ ]zero_nexp.con.body.xml.gz2004-11-09 10:25 7.2K 
[ ]part_function_mult_strext.con.body.xml.gz2004-11-09 10:26 7.4K 
[ ]x_plus_x.con.body.xml.gz2004-11-09 10:25 7.5K 
[ ]part_function_mult_strext.con.types.xml.gz2004-11-09 10:26 7.8K 
[ ]INDEX2005-07-05 08:11 8.0K 
[ ]cring_inv_mult_lft.con.types.xml.gz2004-11-09 10:24 8.0K 
[ ]mult_distr_sum_lft.con.types.xml.gz2004-11-09 10:25 8.4K 
[ ]ring_dist_minus.con.types.xml.gz2004-11-09 10:25 8.5K 
[ ]ring_distl_minus.con.types.xml.gz2004-11-09 10:25 8.5K 
[ ]cring_mult_zero.con.body.xml.gz2004-11-09 10:24 8.8K 
[ ]inv_mult_invol.con.types.xml.gz2004-11-09 10:25 8.8K 
[ ]mult_distr_sum0_lft.con.body.xml.gz2004-11-09 10:25 8.9K 
[ ]zring_old_inv_subproof0.con.types.xml.gz2004-11-09 10:25 9.0K 
[ ]zring_old_inv_subproof.con.types.xml.gz2004-11-09 10:25 9.1K 
[ ]dist_1b.con.types.xml.gz2004-11-09 10:25 9.3K 
[ ]sumx_const.con.body.xml.gz2004-11-09 10:25 9.3K 
[ ]square_minus.con.body.xml.gz2004-11-09 10:26 9.8K 
[ ]cring_mult_zero.con.types.xml.gz2004-11-09 10:24 9.9K 
[ ]nring_comm_plus.con.body.xml.gz2004-11-09 10:25 10K 
[ ]x_plus_x.con.types.xml.gz2004-11-09 10:25 10K 
[ ]zring_old_inv_one.con.body.xml.gz2004-11-09 10:25 10K 
[ ]zring_old_inv_subproof0.con.body.xml.gz2004-11-09 10:25 11K 
[ ]pring_aux_nring.con.body.xml.gz2004-11-09 10:25 11K 
[ ]ring_distr1.con.body.xml.gz2004-11-09 10:25 11K 
[ ]dist_2a.con.body.xml.gz2004-11-09 10:25 11K 
[ ]ring_distr2.con.body.xml.gz2004-11-09 10:25 11K 
[ ]zring_old_inv_subproof.con.body.xml.gz2004-11-09 10:25 12K 
[ ]mult_minus1.con.body.xml.gz2004-11-09 10:25 12K 
[ ]nring_comm_mult.con.body.xml.gz2004-11-09 10:25 12K 
[ ]inv_nexp_even.con.body.xml.gz2004-11-09 10:26 12K 
[ ]zring_old_inv_one.con.types.xml.gz2004-11-09 10:25 12K 
[ ]sumx_const.con.types.xml.gz2004-11-09 10:25 12K 
[ ]mult_distr_sum0_lft.con.types.xml.gz2004-11-09 10:25 13K 
[ ]pring_aux_lemma.con.body.xml.gz2004-11-09 10:25 13K 
[ ]inv_nexp_odd.con.body.xml.gz2004-11-09 10:26 13K 
[ ]zring_old_inv.con.body.xml.gz2004-11-09 10:25 13K 
[ ]nring_comm_plus.con.types.xml.gz2004-11-09 10:25 13K 
[ ]mult_minus1.con.types.xml.gz2004-11-09 10:25 14K 
[ ]zero_nexp.con.types.xml.gz2004-11-09 10:25 14K 
[ ]ring_distl_unfolded.con.body.xml.gz2004-11-09 10:24 14K 
[ ]nring_comm_mult.con.types.xml.gz2004-11-09 10:25 15K 
[ ]ring_distr1.con.types.xml.gz2004-11-09 10:25 15K 
[ ]dist_2a.con.types.xml.gz2004-11-09 10:25 15K 
[ ]ring_distr2.con.types.xml.gz2004-11-09 10:25 15K 
[ ]inv_nexp_even.con.types.xml.gz2004-11-09 10:26 15K 
[ ]pring_aux_nring.con.types.xml.gz2004-11-09 10:25 16K 
[ ]nexp_mult.con.body.xml.gz2004-11-09 10:25 16K 
[ ]zring_old_inv.con.types.xml.gz2004-11-09 10:25 16K 
[ ]square_minus.con.types.xml.gz2004-11-09 10:26 16K 
[ ]pring_aux_lemma.con.types.xml.gz2004-11-09 10:25 16K 
[ ]ring_distl_unfolded.con.types.xml.gz2004-11-09 10:24 17K 
[ ]nexp_mult.con.types.xml.gz2004-11-09 10:25 19K 
[ ]nexp_plus.con.body.xml.gz2004-11-09 10:25 19K 
[ ]inv_nexp_odd.con.types.xml.gz2004-11-09 10:26 21K 
[ ]nexp_plus.con.types.xml.gz2004-11-09 10:25 23K 
[ ]zring_old_plus_subproof0.con.types.xml.gz2004-11-09 10:25 23K 
[ ]zring_old_plus_subproof.con.types.xml.gz2004-11-09 10:25 23K 
[ ]zring_old_plus_subproof0.con.body.xml.gz2004-11-09 10:25 29K 
[ ]zring_old_plus_subproof.con.body.xml.gz2004-11-09 10:25 30K 
[ ]zring_old_mult_subproof0.con.types.xml.gz2004-11-09 10:25 30K 
[ ]zring_old_mult_subproof.con.types.xml.gz2004-11-09 10:25 31K 
[ ]nring_different.con.types.xml.gz2004-11-09 10:25 35K 
[ ]zring_old_diff.con.body.xml.gz2004-11-09 10:25 35K 
[ ]zring_old_mult_subproof0.con.body.xml.gz2004-11-09 10:25 38K 
[ ]zring_old_mult_subproof.con.body.xml.gz2004-11-09 10:25 39K 
[ ]zring_old_diff.con.types.xml.gz2004-11-09 10:25 40K 
[ ]mult_nexp.con.body.xml.gz2004-11-09 10:25 43K 
[ ]nring_different.con.body.xml.gz2004-11-09 10:25 44K 
[ ]zring_old_plus.con.body.xml.gz2004-11-09 10:25 46K 
[ ]mult_nexp.con.types.xml.gz2004-11-09 10:25 48K 
[ ]zring_old_plus.con.types.xml.gz2004-11-09 10:25 50K 
[ ]nexp_funny.con.body.xml.gz2004-11-09 10:26 73K 
[ ]nexp_funny.con.types.xml.gz2004-11-09 10:26 79K 
[ ]square_plus.con.body.xml.gz2004-11-09 10:26 87K 
[ ]square_plus.con.types.xml.gz2004-11-09 10:26 94K 
[ ]zring_old_mult.con.types.xml.gz2004-11-09 10:25 149K 
[ ]zring_old_mult.con.body.xml.gz2004-11-09 10:25 150K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80