Index of /xml/Rocq/ALGEBRA/SETOID/Setoid_prop

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]restricted_map/2005-07-05 08:14 -  
[DIR]sub_setoid/2005-07-05 08:14 -  
[ ]Pred.con.types.xml.gz2004-04-08 14:39 203  
[ ]SubType.ind.types.xml.gz2004-04-08 14:39 207  
[ ]Elt_sub.con.types.xml.gz2004-04-08 14:39 209  
[ ]Reg_law.con.types.xml.gz2004-04-08 14:39 209  
[ ]Setoid_pred.ind.types.xml.gz2004-04-08 14:39 209  
[ ]SubSetoid.con.types.xml.gz2004-04-08 14:39 210  
[ ]SubType_rec.con.types.xml.gz2004-04-08 14:39 214  
[ ]SubType_rect.con.types.xml.gz2004-04-08 14:39 216  
[ ]Setoid_pred_rec.con.types.xml.gz2004-04-08 14:39 217  
[ ]Equal_SubType.con.types.xml.gz2004-04-08 14:39 218  
[ ]RestrictedMap.con.types.xml.gz2004-04-08 14:39 218  
[ ]Setoid_pred_rect.con.types.xml.gz2004-04-08 14:39 218  
[ ]Restricted_fun.con.types.xml.gz2004-04-08 14:39 220  
[ ]SubSetoid.con.xml.gz2004-04-08 14:39 268  
[ ]Equal_SubType.con.xml.gz2004-04-08 14:39 345  
[ ]SubSetoid.con.body.xml.gz2004-04-08 14:39 367  
[ ]Elt_sub.con.xml.gz2004-04-08 14:39 370  
[ ]Reg_law.con.xml.gz2004-04-08 14:39 376  
[ ]Pred.con.xml.gz2004-04-08 14:39 378  
[ ]Equal_SubType_equiv.con.xml.gz2004-04-08 14:39 391  
[ ]Prf_reg.con.xml.gz2004-04-08 14:39 407  
[ ]RestrictedMap.con.xml.gz2004-04-08 14:39 420  
[ ]Prf_constr.con.xml.gz2004-04-08 14:39 428  
[ ]Setoid_pred_rec.con.body.xml.gz2004-04-08 14:39 439  
[ ]Setoid_pred_ind.con.body.xml.gz2004-04-08 14:39 440  
[ ]SubType_rec.con.body.xml.gz2004-04-08 14:39 440  
[ ]SubType_ind.con.body.xml.gz2004-04-08 14:39 442  
[ ]Restricted_map_law.con.xml.gz2004-04-08 14:39 447  
[ ]Restricted_fun.con.xml.gz2004-04-08 14:39 455  
[ ]Equal_SubType.con.body.xml.gz2004-04-08 14:39 474  
[ ]RestrictedMap.con.body.xml.gz2004-04-08 14:39 490  
[ ]SubType.ind.xml.gz2004-04-08 14:39 524  
[ ]Setoid_pred.ind.xml.gz2004-04-08 14:39 548  
[ ]Reg_law.con.body.xml.gz2004-04-08 14:39 569  
[ ]Restricted_fun.con.body.xml.gz2004-04-08 14:39 588  
[ ]Elt_sub.con.body.xml.gz2004-04-08 14:39 611  
[ ]SubType_rec.con.xml.gz2004-04-08 14:39 636  
[ ]SubType_ind.con.xml.gz2004-04-08 14:39 639  
[ ]SubType_rect.con.xml.gz2004-04-08 14:39 639  
[ ]Pred.con.body.xml.gz2004-04-08 14:39 656  
[ ]Setoid_pred_rec.con.xml.gz2004-04-08 14:39 659  
[ ]Setoid_pred_ind.con.xml.gz2004-04-08 14:39 661  
[ ]Setoid_pred_rect.con.xml.gz2004-04-08 14:39 662  
[ ]Prf_constr.con.body.xml.gz2004-04-08 14:39 667  
[ ]Prf_reg.con.body.xml.gz2004-04-08 14:39 694  
[ ]SubType_rect.con.body.xml.gz2004-04-08 14:39 772  
[ ]Prf_constr.con.types.xml.gz2004-04-08 14:39 784  
[ ]Prf_reg.con.types.xml.gz2004-04-08 14:39 785  
[ ]SubType_ind.con.types.xml.gz2004-04-08 14:39 789  
[ ]Setoid_pred_rect.con.body.xml.gz2004-04-08 14:39 795  
[ ]Restricted_map_law.con.body.xml.gz2004-04-08 14:39 801  
[ ]Setoid_pred_ind.con.types.xml.gz2004-04-08 14:39 830  
[ ]INDEX2005-07-05 08:13 1.0K 
[ ]Equal_SubType_equiv.con.body.xml.gz2004-04-08 14:39 1.0K 
[ ]Equal_SubType_equiv.con.types.xml.gz2004-04-08 14:39 1.4K 
[ ]Restricted_map_law.con.types.xml.gz2004-04-08 14:39 1.5K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80