Index of /xml/Coq/ring/Ring_abstract

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:11 3.0K 
[DIR]abstract_rings/2005-07-05 08:13 -  
[DIR]abstract_semi_rings/2005-07-05 08:13 -  
[ ]abstract_sum.ind.types.xml.gz2004-04-08 01:29 203  
[ ]abstract_sum.ind.xml.gz2004-04-08 01:29 402  
[ ]abstract_sum_ind.con.body.xml.gz2004-04-08 01:29 419  
[ ]abstract_sum_ind.con.types.xml.gz2004-04-08 01:29 791  
[ ]abstract_sum_ind.con.xml.gz2004-04-08 01:29 596  
[ ]abstract_sum_merge.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]abstract_sum_merge.con.types.xml.gz2004-04-08 01:29 216  
[ ]abstract_sum_merge.con.xml.gz2004-04-08 01:29 311  
[ ]abstract_sum_merge_ok.con.body.xml.gz2004-04-08 01:29 16K 
[ ]abstract_sum_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 15K 
[ ]abstract_sum_merge_ok.con.types.xml.gz2004-04-08 01:29 17K 
[ ]abstract_sum_merge_ok.con.xml.gz2004-04-08 01:29 582  
[ ]abstract_sum_prod.con.body.xml.gz2004-04-08 01:29 770  
[ ]abstract_sum_prod.con.types.xml.gz2004-04-08 01:29 214  
[ ]abstract_sum_prod.con.xml.gz2004-04-08 01:29 309  
[ ]abstract_sum_prod_ok.con.body.xml.gz2004-04-08 01:29 7.4K 
[ ]abstract_sum_prod_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]abstract_sum_prod_ok.con.types.xml.gz2004-04-08 01:29 7.0K 
[ ]abstract_sum_prod_ok.con.xml.gz2004-04-08 01:29 577  
[ ]abstract_sum_rec.con.body.xml.gz2004-04-08 01:29 419  
[ ]abstract_sum_rec.con.types.xml.gz2004-04-08 01:29 213  
[ ]abstract_sum_rec.con.xml.gz2004-04-08 01:29 595  
[ ]abstract_sum_rect.con.body.xml.gz2004-04-08 01:29 968  
[ ]abstract_sum_rect.con.types.xml.gz2004-04-08 01:29 214  
[ ]abstract_sum_rect.con.xml.gz2004-04-08 01:29 590  
[ ]abstract_sum_scalar.con.body.xml.gz2004-04-08 01:29 779  
[ ]abstract_sum_scalar.con.types.xml.gz2004-04-08 01:29 218  
[ ]abstract_sum_scalar.con.xml.gz2004-04-08 01:29 328  
[ ]abstract_sum_scalar_ok.con.body.xml.gz2004-04-08 01:29 4.1K 
[ ]abstract_sum_scalar_ok.con.proof_tree.xml.gz2004-04-09 18:52 5.7K 
[ ]abstract_sum_scalar_ok.con.types.xml.gz2004-04-08 01:29 3.8K 
[ ]abstract_sum_scalar_ok.con.xml.gz2004-04-08 01:29 705  
[ ]abstract_varlist_insert.con.body.xml.gz2004-04-08 01:29 951  
[ ]abstract_varlist_insert.con.types.xml.gz2004-04-08 01:29 224  
[ ]abstract_varlist_insert.con.xml.gz2004-04-08 01:29 335  
[ ]abstract_varlist_insert_ok.con.body.xml.gz2004-04-08 01:29 5.3K 
[ ]abstract_varlist_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 6.8K 
[ ]abstract_varlist_insert_ok.con.types.xml.gz2004-04-08 01:29 5.5K 
[ ]abstract_varlist_insert_ok.con.xml.gz2004-04-08 01:29 708  
[ ]apolynomial.ind.types.xml.gz2004-04-08 01:29 207  
[ ]apolynomial.ind.xml.gz2004-04-08 01:29 478  
[ ]apolynomial_ind.con.body.xml.gz2004-04-08 01:29 425  
[ ]apolynomial_ind.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]apolynomial_ind.con.xml.gz2004-04-08 01:29 899  
[ ]apolynomial_normalize.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]apolynomial_normalize.con.types.xml.gz2004-04-08 01:29 225  
[ ]apolynomial_normalize.con.xml.gz2004-04-08 01:29 322  
[ ]apolynomial_normalize_ok.con.body.xml.gz2004-04-08 01:29 3.4K 
[ ]apolynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 5.3K 
[ ]apolynomial_normalize_ok.con.types.xml.gz2004-04-08 01:29 3.8K 
[ ]apolynomial_normalize_ok.con.xml.gz2004-04-08 01:29 538  
[ ]apolynomial_rec.con.body.xml.gz2004-04-08 01:29 424  
[ ]apolynomial_rec.con.types.xml.gz2004-04-08 01:29 215  
[ ]apolynomial_rec.con.xml.gz2004-04-08 01:29 895  
[ ]apolynomial_rect.con.body.xml.gz2004-04-08 01:29 1.5K 
[ ]apolynomial_rect.con.types.xml.gz2004-04-08 01:29 216  
[ ]apolynomial_rect.con.xml.gz2004-04-08 01:29 893  
[ ]aspolynomial.ind.types.xml.gz2004-04-08 01:29 209  
[ ]aspolynomial.ind.xml.gz2004-04-08 01:29 464  
[ ]aspolynomial_ind.con.body.xml.gz2004-04-08 01:29 425  
[ ]aspolynomial_ind.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]aspolynomial_ind.con.xml.gz2004-04-08 01:29 832  
[ ]aspolynomial_normalize.con.body.xml.gz2004-04-08 01:29 930  
[ ]aspolynomial_normalize.con.types.xml.gz2004-04-08 01:29 227  
[ ]aspolynomial_normalize.con.xml.gz2004-04-08 01:29 322  
[ ]aspolynomial_normalize_ok.con.body.xml.gz2004-04-08 01:29 3.2K 
[ ]aspolynomial_normalize_ok.con.proof_tree.xml.gz2004-04-09 18:52 5.6K 
[ ]aspolynomial_normalize_ok.con.types.xml.gz2004-04-08 01:29 3.3K 
[ ]aspolynomial_normalize_ok.con.xml.gz2004-04-08 01:29 538  
[ ]aspolynomial_rec.con.body.xml.gz2004-04-08 01:29 424  
[ ]aspolynomial_rec.con.types.xml.gz2004-04-08 01:29 216  
[ ]aspolynomial_rec.con.xml.gz2004-04-08 01:29 831  
[ ]aspolynomial_rect.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]aspolynomial_rect.con.types.xml.gz2004-04-08 01:29 218  
[ ]aspolynomial_rect.con.xml.gz2004-04-08 01:29 827  
[ ]iacs_aux.con.body.xml.gz2004-04-08 01:29 896  
[ ]iacs_aux.con.types.xml.gz2004-04-08 01:29 202  
[ ]iacs_aux.con.xml.gz2004-04-08 01:29 354  
[ ]iacs_aux_ok.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]iacs_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]iacs_aux_ok.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]iacs_aux_ok.con.xml.gz2004-04-08 01:29 541  
[ ]interp_acs.con.body.xml.gz2004-04-08 01:29 727  
[ ]interp_acs.con.types.xml.gz2004-04-08 01:29 205  
[ ]interp_acs.con.xml.gz2004-04-08 01:29 348  
[ ]interp_ap.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]interp_ap.con.types.xml.gz2004-04-08 01:29 204  
[ ]interp_ap.con.xml.gz2004-04-08 01:29 352  
[ ]interp_asp.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]interp_asp.con.types.xml.gz2004-04-08 01:29 205  
[ ]interp_asp.con.xml.gz2004-04-08 01:29 355  
[ ]interp_sacs.con.body.xml.gz2004-04-08 01:29 885  
[ ]interp_sacs.con.types.xml.gz2004-04-08 01:29 206  
[ ]interp_sacs.con.xml.gz2004-04-08 01:29 357  
[ ]isacs_aux.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]isacs_aux.con.types.xml.gz2004-04-08 01:29 204  
[ ]isacs_aux.con.xml.gz2004-04-08 01:29 359  
[ ]isacs_aux_ok.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]isacs_aux_ok.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]isacs_aux_ok.con.types.xml.gz2004-04-08 01:29 2.0K 
[ ]isacs_aux_ok.con.xml.gz2004-04-08 01:29 549  
[ ]minus_sum_scalar.con.body.xml.gz2004-04-08 01:29 887  
[ ]minus_sum_scalar.con.types.xml.gz2004-04-08 01:29 216  
[ ]minus_sum_scalar.con.xml.gz2004-04-08 01:29 332  
[ ]minus_sum_scalar_ok.con.body.xml.gz2004-04-08 01:29 15K 
[ ]minus_sum_scalar_ok.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]minus_sum_scalar_ok.con.types.xml.gz2004-04-08 01:29 13K 
[ ]minus_sum_scalar_ok.con.xml.gz2004-04-08 01:29 746  
[ ]minus_varlist_insert.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]minus_varlist_insert.con.types.xml.gz2004-04-08 01:29 222  
[ ]minus_varlist_insert.con.xml.gz2004-04-08 01:29 333  
[ ]minus_varlist_insert_ok.con.body.xml.gz2004-04-08 01:29 16K 
[ ]minus_varlist_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 17K 
[ ]minus_varlist_insert_ok.con.types.xml.gz2004-04-08 01:29 19K 
[ ]minus_varlist_insert_ok.con.xml.gz2004-04-08 01:29 740  
[ ]plus_sum_scalar.con.body.xml.gz2004-04-08 01:29 886  
[ ]plus_sum_scalar.con.types.xml.gz2004-04-08 01:29 215  
[ ]plus_sum_scalar.con.xml.gz2004-04-08 01:29 330  
[ ]plus_sum_scalar_ok.con.body.xml.gz2004-04-08 01:29 9.6K 
[ ]plus_sum_scalar_ok.con.proof_tree.xml.gz2004-04-09 18:52 9.9K 
[ ]plus_sum_scalar_ok.con.types.xml.gz2004-04-08 01:29 8.5K 
[ ]plus_sum_scalar_ok.con.xml.gz2004-04-08 01:29 712  
[ ]plus_varlist_insert.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]plus_varlist_insert.con.types.xml.gz2004-04-08 01:29 221  
[ ]plus_varlist_insert.con.xml.gz2004-04-08 01:29 332  
[ ]plus_varlist_insert_ok.con.body.xml.gz2004-04-08 01:29 15K 
[ ]plus_varlist_insert_ok.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]plus_varlist_insert_ok.con.types.xml.gz2004-04-08 01:29 18K 
[ ]plus_varlist_insert_ok.con.xml.gz2004-04-08 01:29 714  
[ ]signed_sum.ind.types.xml.gz2004-04-08 01:29 205  
[ ]signed_sum.ind.xml.gz2004-04-08 01:29 430  
[ ]signed_sum_ind.con.body.xml.gz2004-04-08 01:29 422  
[ ]signed_sum_ind.con.types.xml.gz2004-04-08 01:29 1.0K 
[ ]signed_sum_ind.con.xml.gz2004-04-08 01:29 694  
[ ]signed_sum_merge.con.body.xml.gz2004-04-08 01:29 2.2K 
[ ]signed_sum_merge.con.types.xml.gz2004-04-08 01:29 216  
[ ]signed_sum_merge.con.xml.gz2004-04-08 01:29 310  
[ ]signed_sum_merge_ok.con.body.xml.gz2004-04-08 01:29 73K 
[ ]signed_sum_merge_ok.con.proof_tree.xml.gz2004-04-09 18:52 36K 
[ ]signed_sum_merge_ok.con.types.xml.gz2004-04-08 01:29 99K 
[ ]signed_sum_merge_ok.con.xml.gz2004-04-08 01:29 582  
[ ]signed_sum_opp.con.body.xml.gz2004-04-08 01:29 770  
[ ]signed_sum_opp.con.types.xml.gz2004-04-08 01:29 213  
[ ]signed_sum_opp.con.xml.gz2004-04-08 01:29 298  
[ ]signed_sum_opp_ok.con.body.xml.gz2004-04-08 01:29 6.4K 
[ ]signed_sum_opp_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.2K 
[ ]signed_sum_opp_ok.con.types.xml.gz2004-04-08 01:29 5.3K 
[ ]signed_sum_opp_ok.con.xml.gz2004-04-08 01:29 538  
[ ]signed_sum_prod.con.body.xml.gz2004-04-08 01:29 870  
[ ]signed_sum_prod.con.types.xml.gz2004-04-08 01:29 215  
[ ]signed_sum_prod.con.xml.gz2004-04-08 01:29 310  
[ ]signed_sum_prod_ok.con.body.xml.gz2004-04-08 01:29 7.6K 
[ ]signed_sum_prod_ok.con.proof_tree.xml.gz2004-04-09 18:52 7.8K 
[ ]signed_sum_prod_ok.con.types.xml.gz2004-04-08 01:29 6.8K 
[ ]signed_sum_prod_ok.con.xml.gz2004-04-08 01:29 582  
[ ]signed_sum_rec.con.body.xml.gz2004-04-08 01:29 420  
[ ]signed_sum_rec.con.types.xml.gz2004-04-08 01:29 213  
[ ]signed_sum_rec.con.xml.gz2004-04-08 01:29 690  
[ ]signed_sum_rect.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]signed_sum_rect.con.types.xml.gz2004-04-08 01:29 214  
[ ]signed_sum_rect.con.xml.gz2004-04-08 01:29 687  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80