Index of /xml/Coq/ring/Ring_normalize

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 3.5K 
[ ]canonical_sum.ind.types.xml.gz2004-04-08 01:29 211  
[ ]canonical_sum.ind.xml.gz2004-04-08 01:29 468  
[ ]canonical_sum_ind.con.body.xml.gz2004-04-08 01:29 442  
[ ]canonical_sum_ind.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]canonical_sum_ind.con.xml.gz2004-04-08 01:29 738  
[ ]canonical_sum_merge.con.body.xml.gz2004-04-08 01:29 2.8K 
[ ]canonical_sum_merge.con.types.xml.gz2004-04-08 01:29 222  
[ ]canonical_sum_merge.con.xml.gz2004-04-08 01:29 344  
[ ]canonical_sum_merge_ok.con.body.xml.gz2004-04-08 01:29 89K 
[ ]canonical_sum_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 148K 
[ ]canonical_sum_merge_ok.con.types.xml.gz2004-04-08 01:29 136K 
[ ]canonical_sum_merge_ok.con.xml.gz2004-04-08 01:29 587  
[ ]canonical_sum_prod.con.body.xml.gz2004-04-08 01:29 931  
[ ]canonical_sum_prod.con.types.xml.gz2004-04-08 01:29 220  
[ ]canonical_sum_prod.con.xml.gz2004-04-08 01:29 347  
[ ]canonical_sum_prod_ok.con.body.xml.gz2004-04-08 01:29 6.1K 
[ ]canonical_sum_prod_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.1K 
[ ]canonical_sum_prod_ok.con.types.xml.gz2004-04-08 01:29 5.7K 
[ ]canonical_sum_prod_ok.con.xml.gz2004-04-08 01:29 581  
[ ]canonical_sum_rec.con.body.xml.gz2004-04-08 01:29 440  
[ ]canonical_sum_rec.con.types.xml.gz2004-04-08 01:29 219  
[ ]canonical_sum_rec.con.xml.gz2004-04-08 01:29 732  
[ ]canonical_sum_rect.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]canonical_sum_rect.con.types.xml.gz2004-04-08 01:29 220  
[ ]canonical_sum_rect.con.xml.gz2004-04-08 01:29 729  
[ ]canonical_sum_scalar.con.body.xml.gz2004-04-08 01:29 882  
[ ]canonical_sum_scalar.con.types.xml.gz2004-04-08 01:29 223  
[ ]canonical_sum_scalar.con.xml.gz2004-04-08 01:29 352  
[ ]canonical_sum_scalar2.con.body.xml.gz2004-04-08 01:29 942  
[ ]canonical_sum_scalar2.con.types.xml.gz2004-04-08 01:29 225  
[ ]canonical_sum_scalar2.con.xml.gz2004-04-08 01:29 353  
[ ]canonical_sum_scalar2_ok.con.body.xml.gz2004-04-08 01:29 7.1K 
[ ]canonical_sum_scalar2_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]canonical_sum_scalar2_ok.con.types.xml.gz2004-04-08 01:29 6.0K 
[ ]canonical_sum_scalar2_ok.con.xml.gz2004-04-08 01:29 599  
[ ]canonical_sum_scalar3.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]canonical_sum_scalar3.con.types.xml.gz2004-04-08 01:29 225  
[ ]canonical_sum_scalar3.con.xml.gz2004-04-08 01:29 381  
[ ]canonical_sum_scalar3_ok.con.body.xml.gz2004-04-08 01:29 11K 
[ ]canonical_sum_scalar3_ok.con.proof_tree.xml.gz2004-04-09 18:52 9.7K 
[ ]canonical_sum_scalar3_ok.con.types.xml.gz2004-04-08 01:29 9.4K 
[ ]canonical_sum_scalar3_ok.con.xml.gz2004-04-08 01:29 652  
[ ]canonical_sum_scalar_ok.con.body.xml.gz2004-04-08 01:29 6.4K 
[ ]canonical_sum_scalar_ok.con.proof_tree.xml.gz2004-04-09 18:52 6.7K 
[ ]canonical_sum_scalar_ok.con.types.xml.gz2004-04-08 01:29 5.3K 
[ ]canonical_sum_scalar_ok.con.xml.gz2004-04-08 01:29 570  
[ ]canonical_sum_simplify.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]canonical_sum_simplify.con.types.xml.gz2004-04-08 01:29 227  
[ ]canonical_sum_simplify.con.xml.gz2004-04-08 01:29 343  
[ ]canonical_sum_simplify_ok.con.body.xml.gz2004-04-08 01:29 8.8K 
[ ]canonical_sum_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 11K 
[ ]canonical_sum_simplify_ok.con.types.xml.gz2004-04-08 01:29 10K 
[ ]canonical_sum_simplify_ok.con.xml.gz2004-04-08 01:29 534  
[ ]ics_aux.con.body.xml.gz2004-04-08 01:29 905  
[ ]ics_aux.con.types.xml.gz2004-04-08 01:29 202  
[ ]ics_aux.con.xml.gz2004-04-08 01:29 356  
[ ]ics_aux_ok.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]ics_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]ics_aux_ok.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]ics_aux_ok.con.xml.gz2004-04-08 01:29 549  
[ ]index_eq_prop.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]index_eq_prop.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]index_eq_prop.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]index_eq_prop.con.xml.gz2004-04-08 01:29 483  
[ ]interp_cs.con.body.xml.gz2004-04-08 01:29 715  
[ ]interp_cs.con.types.xml.gz2004-04-08 01:29 204  
[ ]interp_cs.con.xml.gz2004-04-08 01:29 352  
[ ]interp_m.con.body.xml.gz2004-04-08 01:29 643  
[ ]interp_m.con.types.xml.gz2004-04-08 01:29 203  
[ ]interp_m.con.xml.gz2004-04-08 01:29 343  
[ ]interp_m_ok.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]interp_m_ok.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]interp_m_ok.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]interp_m_ok.con.xml.gz2004-04-08 01:29 536  
[ ]interp_p.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]interp_p.con.types.xml.gz2004-04-08 01:29 203  
[ ]interp_p.con.xml.gz2004-04-08 01:29 343  
[ ]interp_sp.con.body.xml.gz2004-04-08 01:29 898  
[ ]interp_sp.con.types.xml.gz2004-04-08 01:29 204  
[ ]interp_sp.con.xml.gz2004-04-08 01:29 346  
[ ]interp_var.con.body.xml.gz2004-04-08 01:29 486  
[ ]interp_var.con.types.xml.gz2004-04-08 01:29 207  
[ ]interp_var.con.xml.gz2004-04-08 01:29 338  
[ ]interp_vl.con.body.xml.gz2004-04-08 01:29 602  
[ ]interp_vl.con.types.xml.gz2004-04-08 01:29 205  
[ ]interp_vl.con.xml.gz2004-04-08 01:29 343  
[ ]ivl_aux.con.body.xml.gz2004-04-08 01:29 818  
[ ]ivl_aux.con.types.xml.gz2004-04-08 01:29 202  
[ ]ivl_aux.con.xml.gz2004-04-08 01:29 360  
[ ]ivl_aux_ok.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]ivl_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]ivl_aux_ok.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]ivl_aux_ok.con.xml.gz2004-04-08 01:29 576  
[ ]monom_insert.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]monom_insert.con.types.xml.gz2004-04-08 01:29 209  
[ ]monom_insert.con.xml.gz2004-04-08 01:29 364  
[ ]monom_insert_ok.con.body.xml.gz2004-04-08 01:29 17K 
[ ]monom_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 22K 
[ ]monom_insert_ok.con.types.xml.gz2004-04-08 01:29 22K 
[ ]monom_insert_ok.con.xml.gz2004-04-08 01:29 639  
[ ]polynomial.ind.types.xml.gz2004-04-08 01:29 206  
[ ]polynomial.ind.xml.gz2004-04-08 01:29 507  
[ ]polynomial_ind.con.body.xml.gz2004-04-08 01:29 433  
[ ]polynomial_ind.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]polynomial_ind.con.xml.gz2004-04-08 01:29 916  
[ ]polynomial_normalize.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]polynomial_normalize.con.types.xml.gz2004-04-08 01:29 217  
[ ]polynomial_normalize.con.xml.gz2004-04-08 01:29 408  
[ ]polynomial_normalize_ok.con.body.xml.gz2004-04-08 01:29 6.5K 
[ ]polynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]polynomial_normalize_ok.con.types.xml.gz2004-04-08 01:29 7.5K 
[ ]polynomial_normalize_ok.con.xml.gz2004-04-08 01:29 624  
[ ]polynomial_rec.con.body.xml.gz2004-04-08 01:29 432  
[ ]polynomial_rec.con.types.xml.gz2004-04-08 01:29 214  
[ ]polynomial_rec.con.xml.gz2004-04-08 01:29 913  
[ ]polynomial_rect.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]polynomial_rect.con.types.xml.gz2004-04-08 01:29 215  
[ ]polynomial_rect.con.xml.gz2004-04-08 01:29 912  
[ ]polynomial_simplify.con.body.xml.gz2004-04-08 01:29 549  
[ ]polynomial_simplify.con.types.xml.gz2004-04-08 01:29 222  
[ ]polynomial_simplify.con.xml.gz2004-04-08 01:29 418  
[ ]polynomial_simplify_ok.con.body.xml.gz2004-04-08 01:29 2.8K 
[ ]polynomial_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]polynomial_simplify_ok.con.types.xml.gz2004-04-08 01:29 2.6K 
[ ]polynomial_simplify_ok.con.xml.gz2004-04-08 01:29 634  
[DIR]rings/2005-07-05 08:13 -  
[DIR]semi_rings/2005-07-05 08:13 -  
[ ]spolynomial.ind.types.xml.gz2004-04-08 01:29 207  
[ ]spolynomial.ind.xml.gz2004-04-08 01:29 490  
[ ]spolynomial_ind.con.body.xml.gz2004-04-08 01:29 437  
[ ]spolynomial_ind.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]spolynomial_ind.con.xml.gz2004-04-08 01:29 849  
[ ]spolynomial_normalize.con.body.xml.gz2004-04-08 01:29 970  
[ ]spolynomial_normalize.con.types.xml.gz2004-04-08 01:29 219  
[ ]spolynomial_normalize.con.xml.gz2004-04-08 01:29 348  
[ ]spolynomial_normalize_ok.con.body.xml.gz2004-04-08 01:29 2.8K 
[ ]spolynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]spolynomial_normalize_ok.con.types.xml.gz2004-04-08 01:29 3.0K 
[ ]spolynomial_normalize_ok.con.xml.gz2004-04-08 01:29 527  
[ ]spolynomial_of.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]spolynomial_of.con.types.xml.gz2004-04-08 01:29 213  
[ ]spolynomial_of.con.xml.gz2004-04-08 01:29 383  
[ ]spolynomial_of_ok.con.body.xml.gz2004-04-08 01:29 5.3K 
[ ]spolynomial_of_ok.con.proof_tree.xml.gz2004-04-09 18:52 9.7K 
[ ]spolynomial_of_ok.con.types.xml.gz2004-04-08 01:29 5.6K 
[ ]spolynomial_of_ok.con.xml.gz2004-04-08 01:29 619  
[ ]spolynomial_rec.con.body.xml.gz2004-04-08 01:29 435  
[ ]spolynomial_rec.con.types.xml.gz2004-04-08 01:29 215  
[ ]spolynomial_rec.con.xml.gz2004-04-08 01:29 849  
[ ]spolynomial_rect.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]spolynomial_rect.con.types.xml.gz2004-04-08 01:29 217  
[ ]spolynomial_rect.con.xml.gz2004-04-08 01:29 843  
[ ]spolynomial_simplify.con.body.xml.gz2004-04-08 01:29 451  
[ ]spolynomial_simplify.con.types.xml.gz2004-04-08 01:29 224  
[ ]spolynomial_simplify.con.xml.gz2004-04-08 01:29 357  
[ ]spolynomial_simplify_ok.con.body.xml.gz2004-04-08 01:29 747  
[ ]spolynomial_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]spolynomial_simplify_ok.con.types.xml.gz2004-04-08 01:29 852  
[ ]spolynomial_simplify_ok.con.xml.gz2004-04-08 01:29 531  
[ ]varlist.ind.types.xml.gz2004-04-08 01:29 201  
[ ]varlist.ind.xml.gz2004-04-08 01:29 398  
[ ]varlist_eq.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]varlist_eq.con.types.xml.gz2004-04-08 01:29 207  
[ ]varlist_eq.con.xml.gz2004-04-08 01:29 317  
[ ]varlist_eq_prop.con.body.xml.gz2004-04-08 01:29 3.1K 
[ ]varlist_eq_prop.con.proof_tree.xml.gz2004-04-09 18:52 5.4K 
[ ]varlist_eq_prop.con.types.xml.gz2004-04-08 01:29 3.4K 
[ ]varlist_eq_prop.con.xml.gz2004-04-08 01:29 500  
[ ]varlist_ind.con.body.xml.gz2004-04-08 01:29 414  
[ ]varlist_ind.con.types.xml.gz2004-04-08 01:29 782  
[ ]varlist_ind.con.xml.gz2004-04-08 01:29 595  
[ ]varlist_insert.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]varlist_insert.con.types.xml.gz2004-04-08 01:29 214  
[ ]varlist_insert.con.xml.gz2004-04-08 01:29 343  
[ ]varlist_insert_ok.con.body.xml.gz2004-04-08 01:29 15K 
[ ]varlist_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 19K 
[ ]varlist_insert_ok.con.types.xml.gz2004-04-08 01:29 19K 
[ ]varlist_insert_ok.con.xml.gz2004-04-08 01:29 589  
[ ]varlist_lt.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]varlist_lt.con.types.xml.gz2004-04-08 01:29 207  
[ ]varlist_lt.con.xml.gz2004-04-08 01:29 315  
[ ]varlist_merge.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]varlist_merge.con.types.xml.gz2004-04-08 01:29 212  
[ ]varlist_merge.con.xml.gz2004-04-08 01:29 309  
[ ]varlist_merge_ok.con.body.xml.gz2004-04-08 01:29 10K 
[ ]varlist_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]varlist_merge_ok.con.types.xml.gz2004-04-08 01:29 12K 
[ ]varlist_merge_ok.con.xml.gz2004-04-08 01:29 577  
[ ]varlist_rec.con.body.xml.gz2004-04-08 01:29 414  
[ ]varlist_rec.con.types.xml.gz2004-04-08 01:29 208  
[ ]varlist_rec.con.xml.gz2004-04-08 01:29 592  
[ ]varlist_rect.con.body.xml.gz2004-04-08 01:29 967  
[ ]varlist_rect.con.types.xml.gz2004-04-08 01:29 211  
[ ]varlist_rect.con.xml.gz2004-04-08 01:29 589  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80