Index of /xml/Rocq/ALGEBRA/SETOID/Setoid

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Eq_Nat_equiv.con.types.xml.gz2004-04-08 14:39 1.3K 
[ ]Eq_Nat_equiv.con.body.xml.gz2004-04-08 14:39 1.1K 
[ ]INDEX2005-07-05 08:13 1.1K 
[ ]Prf_PER.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Prf_equiv.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Trans.con.types.xml.gz2004-04-08 14:39 968  
[ ]PSetoid_ind.con.types.xml.gz2004-04-08 14:39 893  
[ ]Nat_rect.con.body.xml.gz2004-04-08 14:39 886  
[ ]Setoid_ind.con.types.xml.gz2004-04-08 14:39 884  
[ ]Sym.con.types.xml.gz2004-04-08 14:39 848  
[ ]PSetoid_rect.con.body.xml.gz2004-04-08 14:39 835  
[ ]Setoid_rect.con.body.xml.gz2004-04-08 14:39 826  
[ ]Prf_PER.con.body.xml.gz2004-04-08 14:39 756  
[ ]Prf_equiv.con.body.xml.gz2004-04-08 14:39 751  
[ ]Nat_ind.con.types.xml.gz2004-04-08 14:39 719  
[ ]PSetoid_ind.con.xml.gz2004-04-08 14:39 710  
[ ]Coherence.con.body.xml.gz2004-04-08 14:39 709  
[ ]PSetoid_rec.con.xml.gz2004-04-08 14:39 707  
[ ]PSetoid_rect.con.xml.gz2004-04-08 14:39 704  
[ ]Setoid_ind.con.xml.gz2004-04-08 14:39 700  
[ ]Equal.con.body.xml.gz2004-04-08 14:39 698  
[ ]Setoid_rec.con.xml.gz2004-04-08 14:39 696  
[ ]Setoid_rect.con.xml.gz2004-04-08 14:39 695  
[ ]Refl.con.types.xml.gz2004-04-08 14:39 679  
[ ]PCarrier.con.body.xml.gz2004-04-08 14:39 645  
[ ]Carrier.con.body.xml.gz2004-04-08 14:39 636  
[ ]Trans.con.body.xml.gz2004-04-08 14:39 590  
[ ]Sym.con.body.xml.gz2004-04-08 14:39 586  
[ ]PSetoid.ind.xml.gz2004-04-08 14:39 567  
[ ]Setoid.ind.xml.gz2004-04-08 14:39 560  
[ ]Nat_ind.con.xml.gz2004-04-08 14:39 554  
[ ]Nat_rec.con.xml.gz2004-04-08 14:39 552  
[ ]Nat_rect.con.xml.gz2004-04-08 14:39 544  
[ ]Trans.con.xml.gz2004-04-08 14:39 541  
[ ]Refl.con.body.xml.gz2004-04-08 14:39 513  
[ ]Prf_PER.con.xml.gz2004-04-08 14:39 480  
[ ]Sym.con.xml.gz2004-04-08 14:39 479  
[ ]Prf_equiv.con.xml.gz2004-04-08 14:39 475  
[ ]Coherence.con.xml.gz2004-04-08 14:39 436  
[ ]Equal.con.xml.gz2004-04-08 14:39 428  
[ ]Total.con.body.xml.gz2004-04-08 14:39 417  
[ ]PSetoid_ind.con.body.xml.gz2004-04-08 14:39 417  
[ ]PSetoid_rec.con.body.xml.gz2004-04-08 14:39 416  
[ ]Setoid_ind.con.body.xml.gz2004-04-08 14:39 415  
[ ]Setoid_rec.con.body.xml.gz2004-04-08 14:39 414  
[ ]Nat_ind.con.body.xml.gz2004-04-08 14:39 414  
[ ]Nat_rec.con.body.xml.gz2004-04-08 14:39 413  
[ ]Refl.con.xml.gz2004-04-08 14:39 408  
[ ]Eq_Nat.con.body.xml.gz2004-04-08 14:39 400  
[ ]Total.con.xml.gz2004-04-08 14:39 376  
[ ]Nat.ind.xml.gz2004-04-08 14:39 366  
[ ]Eq_Nat_equiv.con.xml.gz2004-04-08 14:39 356  
[ ]Set_of_nat.con.body.xml.gz2004-04-08 14:39 343  
[ ]Eq_Nat.con.xml.gz2004-04-08 14:39 310  
[ ]PCarrier.con.xml.gz2004-04-08 14:39 300  
[ ]Carrier.con.xml.gz2004-04-08 14:39 297  
[ ]Set_of_nat.con.xml.gz2004-04-08 14:39 247  
[ ]PSetoid_rect.con.types.xml.gz2004-04-08 14:39 212  
[ ]PSetoid_rec.con.types.xml.gz2004-04-08 14:39 210  
[ ]Setoid_rect.con.types.xml.gz2004-04-08 14:39 209  
[ ]Set_of_nat.con.types.xml.gz2004-04-08 14:39 209  
[ ]Setoid_rec.con.types.xml.gz2004-04-08 14:39 207  
[ ]Coherence.con.types.xml.gz2004-04-08 14:39 207  
[ ]Nat_rect.con.types.xml.gz2004-04-08 14:39 206  
[ ]PCarrier.con.types.xml.gz2004-04-08 14:39 205  
[ ]Nat_rec.con.types.xml.gz2004-04-08 14:39 204  
[ ]Eq_Nat.con.types.xml.gz2004-04-08 14:39 203  
[ ]Carrier.con.types.xml.gz2004-04-08 14:39 203  
[ ]PSetoid.ind.types.xml.gz2004-04-08 14:39 201  
[ ]Total.con.types.xml.gz2004-04-08 14:39 200  
[ ]Equal.con.types.xml.gz2004-04-08 14:39 200  
[ ]Setoid.ind.types.xml.gz2004-04-08 14:39 199  
[ ]Nat.ind.types.xml.gz2004-04-08 14:39 196  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80