Index of /xml/Coq/ring/Setoid_ring_normalize

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]setoid/2005-07-05 08:13 -  
[ ]ics_aux.con.types.xml.gz2004-04-08 01:52 205  
[ ]ivl_aux.con.types.xml.gz2004-04-08 01:52 205  
[ ]varlist.ind.types.xml.gz2004-04-08 01:52 205  
[ ]interp_m.con.types.xml.gz2004-04-08 01:52 206  
[ ]Aopp_ext.con.types.xml.gz2004-04-08 01:52 207  
[ ]interp_vl.con.types.xml.gz2004-04-08 01:52 208  
[ ]Amult_ext.con.types.xml.gz2004-04-08 01:52 209  
[ ]Aplus_ext.con.types.xml.gz2004-04-08 01:52 209  
[ ]interp_var.con.types.xml.gz2004-04-08 01:52 210  
[ ]varlist_lt.con.types.xml.gz2004-04-08 01:52 210  
[ ]interp_setp.con.types.xml.gz2004-04-08 01:52 211  
[ ]varlist_eq.con.types.xml.gz2004-04-08 01:52 211  
[ ]interp_setcs.con.types.xml.gz2004-04-08 01:52 212  
[ ]monom_insert.con.types.xml.gz2004-04-08 01:52 212  
[ ]varlist_rec.con.types.xml.gz2004-04-08 01:52 212  
[ ]interp_setsp.con.types.xml.gz2004-04-08 01:52 213  
[ ]canonical_sum.ind.types.xml.gz2004-04-08 01:52 214  
[ ]setpolynomial.ind.types.xml.gz2004-04-08 01:52 214  
[ ]varlist_rect.con.types.xml.gz2004-04-08 01:52 214  
[ ]setspolynomial.ind.types.xml.gz2004-04-08 01:52 216  
[ ]varlist_merge.con.types.xml.gz2004-04-08 01:52 216  
[ ]varlist_insert.con.types.xml.gz2004-04-08 01:52 217  
[ ]canonical_sum_rec.con.types.xml.gz2004-04-08 01:52 221  
[ ]setpolynomial_rec.con.types.xml.gz2004-04-08 01:52 221  
[ ]setspolynomial_of.con.types.xml.gz2004-04-08 01:52 222  
[ ]canonical_sum_prod.con.types.xml.gz2004-04-08 01:52 223  
[ ]canonical_sum_rect.con.types.xml.gz2004-04-08 01:52 223  
[ ]setpolynomial_rect.con.types.xml.gz2004-04-08 01:52 223  
[ ]setspolynomial_rec.con.types.xml.gz2004-04-08 01:52 223  
[ ]canonical_sum_merge.con.types.xml.gz2004-04-08 01:52 225  
[ ]canonical_sum_scalar.con.types.xml.gz2004-04-08 01:52 225  
[ ]setpolynomial_normalize.con.types.xml.gz2004-04-08 01:52 225  
[ ]setspolynomial_rect.con.types.xml.gz2004-04-08 01:52 225  
[ ]canonical_sum_scalar2.con.types.xml.gz2004-04-08 01:52 228  
[ ]canonical_sum_scalar3.con.types.xml.gz2004-04-08 01:52 228  
[ ]setspolynomial_normalize.con.types.xml.gz2004-04-08 01:52 228  
[ ]canonical_sum_simplify.con.types.xml.gz2004-04-08 01:52 230  
[ ]setpolynomial_simplify.con.types.xml.gz2004-04-08 01:52 230  
[ ]setspolynomial_simplify.con.types.xml.gz2004-04-08 01:52 232  
[ ]Aopp_ext.con.body.xml.gz2004-04-08 01:52 279  
[ ]Amult_ext.con.body.xml.gz2004-04-08 01:52 282  
[ ]Aplus_ext.con.body.xml.gz2004-04-08 01:52 282  
[ ]varlist_merge.con.xml.gz2004-04-08 01:52 312  
[ ]varlist_lt.con.xml.gz2004-04-08 01:52 320  
[ ]varlist_eq.con.xml.gz2004-04-08 01:52 322  
[ ]setspolynomial_of.con.xml.gz2004-04-08 01:52 332  
[ ]canonical_sum_simplify.con.xml.gz2004-04-08 01:52 342  
[ ]interp_var.con.xml.gz2004-04-08 01:52 344  
[ ]canonical_sum_merge.con.xml.gz2004-04-08 01:52 346  
[ ]varlist_insert.con.xml.gz2004-04-08 01:52 346  
[ ]canonical_sum_prod.con.xml.gz2004-04-08 01:52 348  
[ ]interp_vl.con.xml.gz2004-04-08 01:52 350  
[ ]interp_m.con.xml.gz2004-04-08 01:52 351  
[ ]canonical_sum_scalar.con.xml.gz2004-04-08 01:52 352  
[ ]setspolynomial_normalize.con.xml.gz2004-04-08 01:52 352  
[ ]setpolynomial_normalize.con.xml.gz2004-04-08 01:52 353  
[ ]canonical_sum_scalar2.con.xml.gz2004-04-08 01:52 354  
[ ]interp_setp.con.xml.gz2004-04-08 01:52 357  
[ ]interp_setsp.con.xml.gz2004-04-08 01:52 359  
[ ]interp_setcs.con.xml.gz2004-04-08 01:52 363  
[ ]ics_aux.con.xml.gz2004-04-08 01:52 364  
[ ]setspolynomial_simplify.con.xml.gz2004-04-08 01:52 364  
[ ]monom_insert.con.xml.gz2004-04-08 01:52 365  
[ ]setpolynomial_simplify.con.xml.gz2004-04-08 01:52 365  
[ ]ivl_aux.con.xml.gz2004-04-08 01:52 370  
[ ]canonical_sum_scalar3.con.xml.gz2004-04-08 01:52 383  
[ ]varlist.ind.xml.gz2004-04-08 01:52 401  
[ ]varlist_rec.con.body.xml.gz2004-04-08 01:52 418  
[ ]varlist_ind.con.body.xml.gz2004-04-08 01:52 420  
[ ]canonical_sum_rec.con.body.xml.gz2004-04-08 01:52 441  
[ ]setpolynomial_rec.con.body.xml.gz2004-04-08 01:52 441  
[ ]setspolynomial_rec.con.body.xml.gz2004-04-08 01:52 441  
[ ]setpolynomial_ind.con.body.xml.gz2004-04-08 01:52 442  
[ ]canonical_sum_ind.con.body.xml.gz2004-04-08 01:52 443  
[ ]setspolynomial_ind.con.body.xml.gz2004-04-08 01:52 443  
[ ]setspolynomial_simplify.con.body.xml.gz2004-04-08 01:52 458  
[ ]setpolynomial_simplify.con.body.xml.gz2004-04-08 01:52 460  
[ ]Aopp_ext.con.xml.gz2004-04-08 01:52 464  
[ ]canonical_sum.ind.xml.gz2004-04-08 01:52 470  
[ ]index_eq_prop.con.xml.gz2004-04-08 01:52 487  
[ ]interp_var.con.body.xml.gz2004-04-08 01:52 495  
[ ]setspolynomial.ind.xml.gz2004-04-08 01:52 498  
[ ]varlist_eq_prop.con.xml.gz2004-04-08 01:52 504  
[ ]setpolynomial_normalize_ok.con.xml.gz2004-04-08 01:52 512  
[ ]setpolynomial.ind.xml.gz2004-04-08 01:52 516  
[ ]setoid_eq_ext1.con.xml.gz2004-04-08 01:52 526  
[ ]Amult_ext.con.xml.gz2004-04-08 01:52 544  
[ ]Aplus_ext.con.xml.gz2004-04-08 01:52 544  
[ ]interp_m_ok.con.xml.gz2004-04-08 01:52 545  
[ ]setspolynomial_normalize_ok.con.xml.gz2004-04-08 01:52 555  
[ ]canonical_sum_simplify_ok.con.xml.gz2004-04-08 01:52 557  
[ ]ics_aux_ok.con.xml.gz2004-04-08 01:52 558  
[ ]setspolynomial_simplify_ok.con.xml.gz2004-04-08 01:52 559  
[ ]varlist_merge_ok.con.xml.gz2004-04-08 01:52 588  
[ ]varlist_rect.con.xml.gz2004-04-08 01:52 592  
[ ]ivl_aux_ok.con.xml.gz2004-04-08 01:52 593  
[ ]setspolynomial_of_ok.con.xml.gz2004-04-08 01:52 595  
[ ]varlist_rec.con.xml.gz2004-04-08 01:52 596  
[ ]varlist_ind.con.xml.gz2004-04-08 01:52 599  
[ ]canonical_sum_scalar_ok.con.xml.gz2004-04-08 01:52 604  
[ ]canonical_sum_prod_ok.con.xml.gz2004-04-08 01:52 607  
[ ]setpolynomial_simplify_ok.con.xml.gz2004-04-08 01:52 609  
[ ]varlist_insert_ok.con.xml.gz2004-04-08 01:52 610  
[ ]canonical_sum_merge_ok.con.xml.gz2004-04-08 01:52 611  
[ ]interp_vl.con.body.xml.gz2004-04-08 01:52 611  
[ ]canonical_sum_scalar2_ok.con.xml.gz2004-04-08 01:52 623  
[ ]setoid_eq_ext1.con.types.xml.gz2004-04-08 01:52 627  
[ ]interp_m.con.body.xml.gz2004-04-08 01:52 653  
[ ]monom_insert_ok.con.xml.gz2004-04-08 01:52 659  
[ ]setoid_eq_ext2.con.xml.gz2004-04-08 01:52 664  
[ ]canonical_sum_scalar3_ok.con.xml.gz2004-04-08 01:52 682  
[ ]canonical_sum_rect.con.xml.gz2004-04-08 01:52 729  
[ ]interp_setcs.con.body.xml.gz2004-04-08 01:52 729  
[ ]canonical_sum_rec.con.xml.gz2004-04-08 01:52 732  
[ ]canonical_sum_ind.con.xml.gz2004-04-08 01:52 739  
[ ]varlist_ind.con.types.xml.gz2004-04-08 01:52 788  
[ ]setoid_eq_ext1.con.body.xml.gz2004-04-08 01:52 824  
[ ]ivl_aux.con.body.xml.gz2004-04-08 01:52 827  
[ ]setspolynomial_rect.con.xml.gz2004-04-08 01:52 849  
[ ]setspolynomial_ind.con.xml.gz2004-04-08 01:52 854  
[ ]setspolynomial_rec.con.xml.gz2004-04-08 01:52 854  
[ ]canonical_sum_scalar.con.body.xml.gz2004-04-08 01:52 885  
[ ]interp_setsp.con.body.xml.gz2004-04-08 01:52 913  
[ ]ics_aux.con.body.xml.gz2004-04-08 01:52 916  
[ ]setpolynomial_rec.con.xml.gz2004-04-08 01:52 920  
[ ]setpolynomial_rect.con.xml.gz2004-04-08 01:52 922  
[ ]setpolynomial_ind.con.xml.gz2004-04-08 01:52 926  
[ ]canonical_sum_prod.con.body.xml.gz2004-04-08 01:52 933  
[ ]setspolynomial_simplify_ok.con.body.xml.gz2004-04-08 01:52 936  
[ ]setspolynomial_simplify_ok.con.types.xml.gz2004-04-08 01:52 944  
[ ]canonical_sum_scalar2.con.body.xml.gz2004-04-08 01:52 945  
[ ]varlist_rect.con.body.xml.gz2004-04-08 01:52 971  
[ ]setspolynomial_normalize.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]setspolynomial_of.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]canonical_sum_scalar3.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]canonical_sum_ind.con.types.xml.gz2004-04-08 01:52 1.0K 
[ ]interp_setp.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]interp_m_ok.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]setpolynomial_normalize.con.body.xml.gz2004-04-08 01:52 1.0K 
[ ]setoid_eq_ext2.con.types.xml.gz2004-04-08 01:52 1.1K 
[ ]varlist_eq.con.body.xml.gz2004-04-08 01:52 1.1K 
[ ]setspolynomial_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]interp_m_ok.con.types.xml.gz2004-04-08 01:52 1.1K 
[ ]canonical_sum_simplify.con.body.xml.gz2004-04-08 01:52 1.2K 
[ ]varlist_lt.con.body.xml.gz2004-04-08 01:52 1.2K 
[ ]canonical_sum_rect.con.body.xml.gz2004-04-08 01:52 1.2K 
[ ]varlist_merge.con.body.xml.gz2004-04-08 01:52 1.2K 
[ ]setspolynomial_ind.con.types.xml.gz2004-04-08 01:52 1.2K 
[ ]setoid_eq_ext2.con.body.xml.gz2004-04-08 01:52 1.3K 
[ ]ics_aux_ok.con.body.xml.gz2004-04-08 01:52 1.3K 
[ ]setpolynomial_ind.con.types.xml.gz2004-04-08 01:52 1.4K 
[ ]setspolynomial_rect.con.body.xml.gz2004-04-08 01:52 1.4K 
[ ]setpolynomial_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]varlist_insert.con.body.xml.gz2004-04-08 01:52 1.5K 
[ ]monom_insert.con.body.xml.gz2004-04-08 01:52 1.5K 
[ ]setpolynomial_rect.con.body.xml.gz2004-04-08 01:52 1.6K 
[ ]Aopp_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Aplus_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Amult_ext.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]ics_aux_ok.con.types.xml.gz2004-04-08 01:52 1.7K 
[ ]ivl_aux_ok.con.body.xml.gz2004-04-08 01:52 2.1K 
[ ]setpolynomial_simplify_ok.con.types.xml.gz2004-04-08 01:52 2.2K 
[ ]ivl_aux_ok.con.types.xml.gz2004-04-08 01:52 2.3K 
[ ]interp_m_ok.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]setpolynomial_simplify_ok.con.body.xml.gz2004-04-08 01:52 2.8K 
[ ]canonical_sum_merge.con.body.xml.gz2004-04-08 01:52 2.8K 
[ ]varlist_eq_prop.con.body.xml.gz2004-04-08 01:52 3.1K 
[ ]index_eq_prop.con.body.xml.gz2004-04-08 01:52 3.2K 
[ ]varlist_eq_prop.con.types.xml.gz2004-04-08 01:52 3.4K 
[ ]setpolynomial_normalize_ok.con.body.xml.gz2004-04-08 01:52 3.8K 
[ ]INDEX2005-07-05 08:11 3.8K 
[ ]ics_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]ivl_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]setpolynomial_normalize_ok.con.types.xml.gz2004-04-08 01:52 4.6K 
[ ]setspolynomial_normalize_ok.con.body.xml.gz2004-04-08 01:52 4.6K 
[ ]setspolynomial_normalize_ok.con.types.xml.gz2004-04-08 01:52 4.7K 
[ ]setspolynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]index_eq_prop.con.types.xml.gz2004-04-08 01:52 5.0K 
[ ]index_eq_prop.con.proof_tree.xml.gz2004-04-09 18:52 6.2K 
[ ]varlist_eq_prop.con.proof_tree.xml.gz2004-04-09 18:52 6.3K 
[ ]setspolynomial_of_ok.con.types.xml.gz2004-04-08 01:52 6.6K 
[ ]setspolynomial_of_ok.con.body.xml.gz2004-04-08 01:52 6.7K 
[ ]canonical_sum_scalar_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.0K 
[ ]setspolynomial_of_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.1K 
[ ]canonical_sum_prod_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.7K 
[ ]canonical_sum_scalar2_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.7K 
[ ]setpolynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 9.2K 
[ ]canonical_sum_scalar3_ok.con.proof_tree.xml.gz2004-04-09 18:52 9.8K 
[ ]canonical_sum_scalar_ok.con.types.xml.gz2004-04-08 01:52 10K 
[ ]canonical_sum_prod_ok.con.types.xml.gz2004-04-08 01:52 11K 
[ ]canonical_sum_scalar_ok.con.body.xml.gz2004-04-08 01:52 12K 
[ ]canonical_sum_simplify_ok.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]canonical_sum_scalar2_ok.con.types.xml.gz2004-04-08 01:52 12K 
[ ]canonical_sum_prod_ok.con.body.xml.gz2004-04-08 01:52 12K 
[ ]canonical_sum_scalar2_ok.con.body.xml.gz2004-04-08 01:52 13K 
[ ]canonical_sum_simplify_ok.con.body.xml.gz2004-04-08 01:52 14K 
[ ]varlist_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 14K 
[ ]canonical_sum_simplify_ok.con.types.xml.gz2004-04-08 01:52 15K 
[ ]varlist_merge_ok.con.body.xml.gz2004-04-08 01:52 19K 
[ ]canonical_sum_scalar3_ok.con.types.xml.gz2004-04-08 01:52 19K 
[ ]varlist_merge_ok.con.types.xml.gz2004-04-08 01:52 20K 
[ ]varlist_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 20K 
[ ]canonical_sum_scalar3_ok.con.body.xml.gz2004-04-08 01:52 21K 
[ ]monom_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 22K 
[ ]varlist_insert_ok.con.body.xml.gz2004-04-08 01:52 26K 
[ ]varlist_insert_ok.con.types.xml.gz2004-04-08 01:52 31K 
[ ]monom_insert_ok.con.body.xml.gz2004-04-08 01:52 31K 
[ ]monom_insert_ok.con.types.xml.gz2004-04-08 01:52 37K 
[ ]canonical_sum_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 150K 
[ ]canonical_sum_merge_ok.con.body.xml.gz2004-04-08 01:52 161K 
[ ]canonical_sum_merge_ok.con.types.xml.gz2004-04-08 01:52 225K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80