Index of /xml/Coq/Relations/Relation_Definitions

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Relation_Definition/2005-07-05 08:12 -  
[ ]PER.ind.types.xml.gz2004-04-08 01:34 195  
[ ]order.ind.types.xml.gz2004-04-08 01:34 198  
[ ]equiv.con.types.xml.gz2004-04-08 01:34 199  
[ ]commut.con.types.xml.gz2004-04-08 01:34 201  
[ ]relation.con.types.xml.gz2004-04-08 01:34 201  
[ ]PER_rec.con.types.xml.gz2004-04-08 01:34 202  
[ ]preorder.ind.types.xml.gz2004-04-08 01:34 203  
[ ]PER_rect.con.types.xml.gz2004-04-08 01:34 204  
[ ]inclusion.con.types.xml.gz2004-04-08 01:34 204  
[ ]order_rec.con.types.xml.gz2004-04-08 01:34 205  
[ ]reflexive.con.types.xml.gz2004-04-08 01:34 205  
[ ]symmetric.con.types.xml.gz2004-04-08 01:34 205  
[ ]transitive.con.types.xml.gz2004-04-08 01:34 206  
[ ]order_rect.con.types.xml.gz2004-04-08 01:34 207  
[ ]equivalence.ind.types.xml.gz2004-04-08 01:34 208  
[ ]same_relation.con.types.xml.gz2004-04-08 01:34 209  
[ ]preorder_rec.con.types.xml.gz2004-04-08 01:34 210  
[ ]antisymmetric.con.types.xml.gz2004-04-08 01:34 212  
[ ]preorder_rect.con.types.xml.gz2004-04-08 01:34 212  
[ ]equivalence_rec.con.types.xml.gz2004-04-08 01:34 216  
[ ]equivalence_rect.con.types.xml.gz2004-04-08 01:34 217  
[ ]relation.con.xml.gz2004-04-08 01:34 234  
[ ]equiv.con.xml.gz2004-04-08 01:34 241  
[ ]reflexive.con.xml.gz2004-04-08 01:34 247  
[ ]symmetric.con.xml.gz2004-04-08 01:34 248  
[ ]transitive.con.xml.gz2004-04-08 01:34 248  
[ ]antisymmetric.con.xml.gz2004-04-08 01:34 252  
[ ]commut.con.xml.gz2004-04-08 01:34 312  
[ ]inclusion.con.xml.gz2004-04-08 01:34 316  
[ ]relation.con.body.xml.gz2004-04-08 01:34 317  
[ ]same_relation.con.xml.gz2004-04-08 01:34 322  
[ ]per_sym.con.xml.gz2004-04-08 01:34 328  
[ ]ord_refl.con.xml.gz2004-04-08 01:34 330  
[ ]ord_trans.con.xml.gz2004-04-08 01:34 330  
[ ]per_trans.con.xml.gz2004-04-08 01:34 330  
[ ]ord_antisym.con.xml.gz2004-04-08 01:34 335  
[ ]preord_refl.con.xml.gz2004-04-08 01:34 335  
[ ]equiv_sym.con.xml.gz2004-04-08 01:34 336  
[ ]preord_trans.con.xml.gz2004-04-08 01:34 336  
[ ]equiv_refl.con.xml.gz2004-04-08 01:34 337  
[ ]equiv_trans.con.xml.gz2004-04-08 01:34 338  
[ ]equiv.con.body.xml.gz2004-04-08 01:34 360  
[ ]reflexive.con.body.xml.gz2004-04-08 01:34 370  
[ ]PER_rec.con.body.xml.gz2004-04-08 01:34 371  
[ ]order_rec.con.body.xml.gz2004-04-08 01:34 374  
[ ]PER_ind.con.body.xml.gz2004-04-08 01:34 375  
[ ]order_ind.con.body.xml.gz2004-04-08 01:34 378  
[ ]preorder_rec.con.body.xml.gz2004-04-08 01:34 380  
[ ]preorder_ind.con.body.xml.gz2004-04-08 01:34 382  
[ ]equivalence_rec.con.body.xml.gz2004-04-08 01:34 385  
[ ]equivalence_ind.con.body.xml.gz2004-04-08 01:34 389  
[ ]per_sym.con.types.xml.gz2004-04-08 01:34 399  
[ ]per_trans.con.types.xml.gz2004-04-08 01:34 401  
[ ]preord_refl.con.types.xml.gz2004-04-08 01:34 402  
[ ]preord_trans.con.types.xml.gz2004-04-08 01:34 404  
[ ]ord_refl.con.types.xml.gz2004-04-08 01:34 416  
[ ]ord_trans.con.types.xml.gz2004-04-08 01:34 418  
[ ]equiv_refl.con.types.xml.gz2004-04-08 01:34 421  
[ ]equiv_sym.con.types.xml.gz2004-04-08 01:34 423  
[ ]equiv_trans.con.types.xml.gz2004-04-08 01:34 423  
[ ]symmetric.con.body.xml.gz2004-04-08 01:34 424  
[ ]PER_ind.con.xml.gz2004-04-08 01:34 425  
[ ]ord_antisym.con.types.xml.gz2004-04-08 01:34 425  
[ ]PER.ind.xml.gz2004-04-08 01:34 426  
[ ]PER_rect.con.xml.gz2004-04-08 01:34 429  
[ ]PER_rec.con.xml.gz2004-04-08 01:34 431  
[ ]preorder_ind.con.xml.gz2004-04-08 01:34 431  
[ ]preorder.ind.xml.gz2004-04-08 01:34 433  
[ ]preorder_rect.con.xml.gz2004-04-08 01:34 437  
[ ]preorder_rec.con.xml.gz2004-04-08 01:34 440  
[ ]order_ind.con.xml.gz2004-04-08 01:34 450  
[ ]order.ind.xml.gz2004-04-08 01:34 451  
[ ]order_rect.con.xml.gz2004-04-08 01:34 452  
[ ]order_rec.con.xml.gz2004-04-08 01:34 458  
[ ]equivalence.ind.xml.gz2004-04-08 01:34 459  
[ ]equivalence_ind.con.xml.gz2004-04-08 01:34 459  
[ ]equivalence_rect.con.xml.gz2004-04-08 01:34 459  
[ ]same_relation.con.body.xml.gz2004-04-08 01:34 460  
[ ]transitive.con.body.xml.gz2004-04-08 01:34 465  
[ ]equivalence_rec.con.xml.gz2004-04-08 01:34 466  
[ ]inclusion.con.body.xml.gz2004-04-08 01:34 489  
[ ]antisymmetric.con.body.xml.gz2004-04-08 01:34 494  
[ ]PER_ind.con.types.xml.gz2004-04-08 01:34 496  
[ ]preorder_ind.con.types.xml.gz2004-04-08 01:34 503  
[ ]order_ind.con.types.xml.gz2004-04-08 01:34 528  
[ ]per_sym.con.body.xml.gz2004-04-08 01:34 534  
[ ]preord_refl.con.body.xml.gz2004-04-08 01:34 536  
[ ]PER_rect.con.body.xml.gz2004-04-08 01:34 538  
[ ]equivalence_ind.con.types.xml.gz2004-04-08 01:34 540  
[ ]per_trans.con.body.xml.gz2004-04-08 01:34 540  
[ ]preord_trans.con.body.xml.gz2004-04-08 01:34 542  
[ ]preorder_rect.con.body.xml.gz2004-04-08 01:34 543  
[ ]ord_refl.con.body.xml.gz2004-04-08 01:34 558  
[ ]equiv_refl.con.body.xml.gz2004-04-08 01:34 562  
[ ]order_rect.con.body.xml.gz2004-04-08 01:34 564  
[ ]equiv_sym.con.body.xml.gz2004-04-08 01:34 565  
[ ]ord_antisym.con.body.xml.gz2004-04-08 01:34 565  
[ ]ord_trans.con.body.xml.gz2004-04-08 01:34 565  
[ ]equiv_trans.con.body.xml.gz2004-04-08 01:34 569  
[ ]equivalence_rect.con.body.xml.gz2004-04-08 01:34 571  
[ ]commut.con.body.xml.gz2004-04-08 01:34 694  
[ ]INDEX2005-07-05 08:11 1.7K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80