Index of /xml/Coq/field/Field_Theory

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]eqExprA_O.con.proof_tree.xml.gz2004-04-09 18:52 96K 
[ ]eqExprA_O.con.body.xml.gz2004-04-08 01:34 75K 
[ ]eqExprA.con.body.xml.gz2004-04-08 01:34 67K 
[ ]merge_plus_correct.con.types.xml.gz2004-04-08 01:34 54K 
[ ]merge_mult_correct.con.types.xml.gz2004-04-08 01:34 53K 
[ ]monom_remove_correct.con.proof_tree.xml.gz2004-04-09 18:52 49K 
[ ]monom_remove_correct.con.types.xml.gz2004-04-08 01:34 41K 
[ ]eqExprA_O.con.types.xml.gz2004-04-08 01:34 40K 
[ ]eqExprA.con.types.xml.gz2004-04-08 01:34 37K 
[ ]assoc_correct.con.proof_tree.xml.gz2004-04-09 18:52 35K 
[ ]merge_plus_correct.con.body.xml.gz2004-04-08 01:34 34K 
[ ]merge_mult_correct.con.body.xml.gz2004-04-08 01:34 33K 
[ ]monom_remove_correct.con.body.xml.gz2004-04-08 01:34 24K 
[ ]assoc_mult_correct.con.types.xml.gz2004-04-08 01:34 24K 
[ ]monom_simplif_rem_correct.con.proof_tree.xml.gz2004-04-09 18:52 20K 
[ ]merge_mult_correct.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]monom_simplif_rem_correct.con.types.xml.gz2004-04-08 01:34 19K 
[ ]merge_mult_correct1.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]assoc_mult_correct.con.proof_tree.xml.gz2004-04-09 18:52 18K 
[ ]merge_plus_correct.con.proof_tree.xml.gz2004-04-09 18:52 18K 
[ ]merge_plus_correct1.con.proof_tree.xml.gz2004-04-09 18:52 18K 
[ ]assoc_correct.con.types.xml.gz2004-04-08 01:34 17K 
[ ]assoc_mult_correct.con.body.xml.gz2004-04-08 01:34 17K 
[ ]distrib_mult_left_correct.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]assoc_correct.con.body.xml.gz2004-04-08 01:34 15K 
[ ]multiply_aux_correct.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]distrib_correct.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]distrib_mult_right_correct.con.types.xml.gz2004-04-08 01:34 12K 
[ ]monom_simplif_correct.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]distrib_mult_left_correct.con.types.xml.gz2004-04-08 01:34 11K 
[ ]monom_simplif_rem_correct.con.body.xml.gz2004-04-08 01:34 11K 
[ ]multiply_aux_correct.con.types.xml.gz2004-04-08 01:34 10K 
[ ]distrib_mult_right_correct.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]inverse_correct.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]assoc_mult_correct1.con.proof_tree.xml.gz2004-04-09 18:52 9.8K 
[ ]assoc_plus_correct.con.proof_tree.xml.gz2004-04-09 18:52 9.4K 
[ ]distrib_correct.con.types.xml.gz2004-04-08 01:34 9.3K 
[ ]distrib_mult_left_correct.con.body.xml.gz2004-04-08 01:34 8.7K 
[ ]assoc_mult_correct1.con.types.xml.gz2004-04-08 01:34 8.5K 
[ ]assoc_plus_correct.con.types.xml.gz2004-04-08 01:34 8.4K 
[ ]monom_simplif_correct.con.types.xml.gz2004-04-08 01:34 8.4K 
[ ]distrib_mult_right_correct.con.body.xml.gz2004-04-08 01:34 8.3K 
[ ]merge_plus_correct1.con.types.xml.gz2004-04-08 01:34 8.1K 
[ ]merge_mult_correct1.con.types.xml.gz2004-04-08 01:34 8.0K 
[ ]multiply_correct.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]multiply_aux_correct.con.body.xml.gz2004-04-08 01:34 6.5K 
[ ]distrib_correct.con.body.xml.gz2004-04-08 01:34 6.3K 
[ ]inverse_correct.con.types.xml.gz2004-04-08 01:34 6.3K 
[ ]assoc_plus_correct.con.body.xml.gz2004-04-08 01:34 5.2K 
[ ]assoc_mult_correct1.con.body.xml.gz2004-04-08 01:34 5.2K 
[ ]AmultT_AplusT_distr.con.types.xml.gz2004-04-08 01:34 5.1K 
[ ]monom_simplif_correct.con.body.xml.gz2004-04-08 01:34 4.9K 
[ ]AplusT_assoc.con.types.xml.gz2004-04-08 01:34 4.8K 
[ ]inverse_correct.con.body.xml.gz2004-04-08 01:34 4.7K 
[ ]AmultT_assoc.con.types.xml.gz2004-04-08 01:34 4.7K 
[ ]Rmult_neq_0_reg.con.types.xml.gz2004-04-08 01:34 4.4K 
[ ]merge_plus_correct1.con.body.xml.gz2004-04-08 01:34 4.3K 
[ ]merge_mult_correct1.con.body.xml.gz2004-04-08 01:34 4.2K 
[ ]r_AplusT_plus.con.types.xml.gz2004-04-08 01:34 4.2K 
[ ]multiply_correct.con.types.xml.gz2004-04-08 01:34 4.1K 
[ ]mult_eq.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]eq_nat_dec.con.body.xml.gz2004-04-08 01:34 3.8K 
[ ]INDEX2005-07-05 08:10 3.8K 
[ ]AmultT_AplusT_distr.con.body.xml.gz2004-04-08 01:34 3.5K 
[ ]r_AplusT_plus.con.body.xml.gz2004-04-08 01:34 3.4K 
[ ]AplusT_assoc.con.body.xml.gz2004-04-08 01:34 3.4K 
[ ]Th_inv_def.con.types.xml.gz2004-04-08 01:34 3.4K 
[ ]monom_remove.con.body.xml.gz2004-04-08 01:34 3.3K 
[ ]AmultT_assoc.con.body.xml.gz2004-04-08 01:34 3.3K 
[ ]AplusT_AoppT_r.con.types.xml.gz2004-04-08 01:34 3.1K 
[ ]r_AmultT_mult.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]RT.con.types.xml.gz2004-04-08 01:34 2.9K 
[ ]Rmult_neq_0_reg.con.body.xml.gz2004-04-08 01:34 2.8K 
[ ]r_AmultT_mult.con.body.xml.gz2004-04-08 01:34 2.8K 
[ ]r_AmultT_mult.con.types.xml.gz2004-04-08 01:34 2.5K 
[ ]multiply_correct.con.body.xml.gz2004-04-08 01:34 2.4K 
[ ]Rmult_neq_0_reg.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]AplusT_AoppT_r.con.body.xml.gz2004-04-08 01:34 2.2K 
[ ]AmultT_1r.con.types.xml.gz2004-04-08 01:34 2.2K 
[ ]AplusT_Ol.con.types.xml.gz2004-04-08 01:34 2.2K 
[ ]AmultT_1l.con.types.xml.gz2004-04-08 01:34 2.2K 
[ ]r_AplusT_plus.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]AmultT_Ol.con.types.xml.gz2004-04-08 01:34 2.1K 
[ ]AmultT_Or.con.types.xml.gz2004-04-08 01:34 2.1K 
[ ]Field_Theory_ind.con.types.xml.gz2004-04-08 01:34 1.8K 
[ ]AplusT_sym.con.types.xml.gz2004-04-08 01:34 1.8K 
[ ]AmultT_sym.con.types.xml.gz2004-04-08 01:34 1.8K 
[ ]ExprA_rect.con.body.xml.gz2004-04-08 01:34 1.6K 
[ ]Th_inv_def.con.body.xml.gz2004-04-08 01:34 1.5K 
[ ]mult_eq.con.types.xml.gz2004-04-08 01:34 1.5K 
[ ]merge_mult.con.body.xml.gz2004-04-08 01:34 1.5K 
[ ]merge_plus.con.body.xml.gz2004-04-08 01:34 1.5K 
[ ]assoc.con.body.xml.gz2004-04-08 01:34 1.5K 
[ ]RT.con.body.xml.gz2004-04-08 01:34 1.4K 
[ ]Field_Theory_rect.con.body.xml.gz2004-04-08 01:34 1.4K 
[ ]AplusT_Ol.con.body.xml.gz2004-04-08 01:34 1.4K 
[ ]AmultT_1l.con.body.xml.gz2004-04-08 01:34 1.4K 
[ ]AmultT_1r.con.body.xml.gz2004-04-08 01:34 1.4K 
[ ]ExprA_ind.con.types.xml.gz2004-04-08 01:34 1.4K 
[ ]AmultT_Or.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]AmultT_Ol.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Field_Theory_rect.con.xml.gz2004-04-08 01:34 1.3K 
[ ]Field_Theory_ind.con.xml.gz2004-04-08 01:34 1.3K 
[ ]Aeq.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Field_Theory_rec.con.xml.gz2004-04-08 01:34 1.3K 
[ ]Aplus.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Amult.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]assoc_mult.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Aopp.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Ainv.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]AinvT_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Aminus.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Adiv.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Aone.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]Azero.con.body.xml.gz2004-04-08 01:34 1.3K 
[ ]interp_ExprA.con.body.xml.gz2004-04-08 01:34 1.2K 
[ ]A.con.body.xml.gz2004-04-08 01:34 1.2K 
[ ]Field_Theory.ind.xml.gz2004-04-08 01:34 1.1K 
[ ]eq_nat_dec.con.types.xml.gz2004-04-08 01:34 1.1K 
[ ]AplusT_sym.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]AmultT_sym.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]monom_simplif.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]AinvT_r.con.types.xml.gz2004-04-08 01:34 1.0K 
[ ]AmultT_AplusT_distr.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]distrib_mult_left.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]distrib_mult_right.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]inverse_simplif.con.body.xml.gz2004-04-08 01:34 1.0K 
[ ]multiply_aux.con.body.xml.gz2004-04-08 01:34 970  
[ ]monom_simplif_rem.con.body.xml.gz2004-04-08 01:34 959  
[ ]mult_eq.con.body.xml.gz2004-04-08 01:34 955  
[ ]AplusT_assoc.con.proof_tree.xml.gz2004-04-09 18:52 954  
[ ]AmultT_assoc.con.proof_tree.xml.gz2004-04-09 18:52 954  
[ ]ExprA_rect.con.xml.gz2004-04-08 01:34 944  
[ ]ExprA_ind.con.xml.gz2004-04-08 01:34 940  
[ ]ExprA_rec.con.xml.gz2004-04-08 01:34 936  
[ ]distrib_EAopp.con.body.xml.gz2004-04-08 01:34 901  
[ ]distrib_main.con.body.xml.gz2004-04-08 01:34 897  
[ ]mult_eq.con.xml.gz2004-04-08 01:34 851  
[ ]AplusT_sym.con.proof_tree.xml.gz2004-04-09 18:52 822  
[ ]AmultT_sym.con.proof_tree.xml.gz2004-04-09 18:52 822  
[ ]AinvT_r.con.body.xml.gz2004-04-08 01:34 820  
[ ]monom_simplif_rem_correct.con.xml.gz2004-04-08 01:34 811  
[ ]monom_remove_correct.con.xml.gz2004-04-08 01:34 803  
[ ]AplusT_AoppT_r.con.proof_tree.xml.gz2004-04-09 18:52 801  
[ ]mult_of_list.con.body.xml.gz2004-04-08 01:34 787  
[ ]assoc_mult_correct1.con.xml.gz2004-04-08 01:34 778  
[ ]assoc_plus_correct.con.xml.gz2004-04-08 01:34 776  
[ ]monom_simplif_correct.con.xml.gz2004-04-08 01:34 760  
[ ]inverse_correct.con.xml.gz2004-04-08 01:34 755  
[ ]AmultT_Or.con.proof_tree.xml.gz2004-04-09 18:52 750  
[ ]merge_plus_correct1.con.xml.gz2004-04-08 01:34 747  
[ ]merge_mult_correct1.con.xml.gz2004-04-08 01:34 747  
[ ]AplusT_Ol.con.proof_tree.xml.gz2004-04-09 18:52 747  
[ ]AmultT_Ol.con.proof_tree.xml.gz2004-04-09 18:52 747  
[ ]AmultT_1r.con.proof_tree.xml.gz2004-04-09 18:52 746  
[ ]AmultT_1l.con.proof_tree.xml.gz2004-04-09 18:52 745  
[ ]distrib_mult_right_correct.con.xml.gz2004-04-08 01:34 717  
[ ]distrib_mult_left_correct.con.xml.gz2004-04-08 01:34 712  
[ ]multiply_aux_correct.con.xml.gz2004-04-08 01:34 701  
[ ]merge_mult_correct.con.xml.gz2004-04-08 01:34 694  
[ ]merge_plus_correct.con.xml.gz2004-04-08 01:34 688  
[ ]r_AmultT_mult.con.xml.gz2004-04-08 01:34 654  
[ ]multiply.con.body.xml.gz2004-04-08 01:34 649  
[ ]Rmult_neq_0_reg.con.xml.gz2004-04-08 01:34 646  
[ ]distrib_correct.con.xml.gz2004-04-08 01:34 628  
[ ]multiply_correct.con.xml.gz2004-04-08 01:34 627  
[ ]assoc_mult_correct.con.xml.gz2004-04-08 01:34 627  
[ ]assoc_correct.con.xml.gz2004-04-08 01:34 621  
[ ]Th_inv_def.con.xml.gz2004-04-08 01:34 611  
[ ]AmultT_AplusT_distr.con.xml.gz2004-04-08 01:34 604  
[ ]r_AplusT_plus.con.xml.gz2004-04-08 01:34 593  
[ ]AinvT_r.con.xml.gz2004-04-08 01:34 577  
[ ]AplusT_assoc.con.xml.gz2004-04-08 01:34 571  
[ ]AmultT_assoc.con.xml.gz2004-04-08 01:34 567  
[ ]RT.con.xml.gz2004-04-08 01:34 564  
[ ]AplusT_AoppT_r.con.xml.gz2004-04-08 01:34 508  
[ ]AplusT_sym.con.xml.gz2004-04-08 01:34 501  
[ ]AmultT_sym.con.xml.gz2004-04-08 01:34 501  
[ ]eqExprA_O.con.xml.gz2004-04-08 01:34 491  
[ ]eqExprA.con.xml.gz2004-04-08 01:34 487  
[ ]ExprA.ind.xml.gz2004-04-08 01:34 480  
[ ]eq_nat_dec.con.xml.gz2004-04-08 01:34 478  
[ ]AplusT_Ol.con.xml.gz2004-04-08 01:34 472  
[ ]AmultT_1r.con.xml.gz2004-04-08 01:34 471  
[ ]AmultT_1l.con.xml.gz2004-04-08 01:34 470  
[ ]AmultT_Ol.con.xml.gz2004-04-08 01:34 467  
[ ]AmultT_Or.con.xml.gz2004-04-08 01:34 466  
[ ]interp_ExprA.con.xml.gz2004-04-08 01:34 449  
[ ]Field_Theory_ind.con.body.xml.gz2004-04-08 01:34 419  
[ ]Field_Theory_rec.con.body.xml.gz2004-04-08 01:34 418  
[ ]ExprA_ind.con.body.xml.gz2004-04-08 01:34 415  
[ ]ExprA_rec.con.body.xml.gz2004-04-08 01:34 413  
[ ]Aeq.con.xml.gz2004-04-08 01:34 393  
[ ]Aplus.con.xml.gz2004-04-08 01:34 392  
[ ]Amult.con.xml.gz2004-04-08 01:34 391  
[ ]distrib.con.body.xml.gz2004-04-08 01:34 390  
[ ]Aminus.con.xml.gz2004-04-08 01:34 385  
[ ]Adiv.con.xml.gz2004-04-08 01:34 382  
[ ]Ainv.con.xml.gz2004-04-08 01:34 374  
[ ]Aopp.con.xml.gz2004-04-08 01:34 373  
[ ]Azero.con.xml.gz2004-04-08 01:34 350  
[ ]Aone.con.xml.gz2004-04-08 01:34 348  
[ ]mult_of_list.con.xml.gz2004-04-08 01:34 337  
[ ]distrib_mult_right.con.xml.gz2004-04-08 01:34 319  
[ ]distrib_mult_left.con.xml.gz2004-04-08 01:34 318  
[ ]monom_simplif_rem.con.xml.gz2004-04-08 01:34 316  
[ ]inverse_simplif.con.xml.gz2004-04-08 01:34 314  
[ ]multiply_aux.con.xml.gz2004-04-08 01:34 310  
[ ]monom_simplif.con.xml.gz2004-04-08 01:34 310  
[ ]monom_remove.con.xml.gz2004-04-08 01:34 310  
[ ]merge_plus.con.xml.gz2004-04-08 01:34 305  
[ ]merge_mult.con.xml.gz2004-04-08 01:34 305  
[ ]distrib_EAopp.con.xml.gz2004-04-08 01:34 300  
[ ]distrib_main.con.xml.gz2004-04-08 01:34 298  
[ ]assoc_mult.con.xml.gz2004-04-08 01:34 294  
[ ]multiply.con.xml.gz2004-04-08 01:34 290  
[ ]distrib.con.xml.gz2004-04-08 01:34 287  
[ ]assoc.con.xml.gz2004-04-08 01:34 286  
[ ]A.con.xml.gz2004-04-08 01:34 284  
[ ]distrib_mult_right.con.types.xml.gz2004-04-08 01:34 219  
[ ]monom_simplif_rem.con.types.xml.gz2004-04-08 01:34 217  
[ ]distrib_mult_left.con.types.xml.gz2004-04-08 01:34 217  
[ ]inverse_simplif.con.types.xml.gz2004-04-08 01:34 214  
[ ]distrib_EAopp.con.types.xml.gz2004-04-08 01:34 211  
[ ]monom_simplif.con.types.xml.gz2004-04-08 01:34 210  
[ ]Field_Theory_rect.con.types.xml.gz2004-04-08 01:34 210  
[ ]multiply_aux.con.types.xml.gz2004-04-08 01:34 209  
[ ]interp_ExprA.con.types.xml.gz2004-04-08 01:34 209  
[ ]distrib_main.con.types.xml.gz2004-04-08 01:34 209  
[ ]Field_Theory_rec.con.types.xml.gz2004-04-08 01:34 209  
[ ]mult_of_list.con.types.xml.gz2004-04-08 01:34 208  
[ ]monom_remove.con.types.xml.gz2004-04-08 01:34 208  
[ ]ExprA_rect.con.types.xml.gz2004-04-08 01:34 206  
[ ]merge_plus.con.types.xml.gz2004-04-08 01:34 205  
[ ]merge_mult.con.types.xml.gz2004-04-08 01:34 205  
[ ]assoc_mult.con.types.xml.gz2004-04-08 01:34 205  
[ ]ExprA_rec.con.types.xml.gz2004-04-08 01:34 204  
[ ]multiply.con.types.xml.gz2004-04-08 01:34 202  
[ ]Field_Theory.ind.types.xml.gz2004-04-08 01:34 201  
[ ]distrib.con.types.xml.gz2004-04-08 01:34 200  
[ ]Aminus.con.types.xml.gz2004-04-08 01:34 199  
[ ]Azero.con.types.xml.gz2004-04-08 01:34 198  
[ ]assoc.con.types.xml.gz2004-04-08 01:34 197  
[ ]ExprA.ind.types.xml.gz2004-04-08 01:34 197  
[ ]Aplus.con.types.xml.gz2004-04-08 01:34 197  
[ ]Amult.con.types.xml.gz2004-04-08 01:34 197  
[ ]Aopp.con.types.xml.gz2004-04-08 01:34 196  
[ ]Aone.con.types.xml.gz2004-04-08 01:34 195  
[ ]Ainv.con.types.xml.gz2004-04-08 01:34 195  
[ ]Adiv.con.types.xml.gz2004-04-08 01:34 195  
[ ]Aeq.con.types.xml.gz2004-04-08 01:34 194  
[ ]A.con.types.xml.gz2004-04-08 01:34 190  
[DIR]Theory_of_fields/2005-07-05 08:12 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80