Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/NT/Setoid_dup2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]fun2_to_map2''/2005-07-05 08:14 -  
[DIR]maps''/2005-07-05 08:14 -  
[DIR]prop_map2''/2005-07-05 08:14 -  
[ ]Ap''.con.types.xml.gz2004-04-08 14:40 214  
[ ]Ap2''.con.types.xml.gz2004-04-08 14:40 216  
[ ]Ext''.con.types.xml.gz2004-04-08 14:40 216  
[ ]Map''.ind.types.xml.gz2004-04-08 14:40 216  
[ ]Map2''.con.types.xml.gz2004-04-08 14:40 218  
[ ]Setoid''.ind.types.xml.gz2004-04-08 14:40 218  
[ ]Equal''.con.types.xml.gz2004-04-08 14:40 220  
[ ]Carrier''.con.types.xml.gz2004-04-08 14:40 223  
[ ]Map''_rec.con.types.xml.gz2004-04-08 14:40 223  
[ ]Map_law''.con.types.xml.gz2004-04-08 14:40 223  
[ ]Map''_rect.con.types.xml.gz2004-04-08 14:40 225  
[ ]Setoid''_rec.con.types.xml.gz2004-04-08 14:40 226  
[ ]Map_setoid''.con.types.xml.gz2004-04-08 14:40 227  
[ ]Map2''_Map''.con.types.xml.gz2004-04-08 14:40 228  
[ ]Setoid''_rect.con.types.xml.gz2004-04-08 14:40 228  
[ ]Build_Map2''.con.types.xml.gz2004-04-08 14:40 229  
[ ]Map2_cong_law''.con.types.xml.gz2004-04-08 14:40 234  
[ ]Map2_congl_law''.con.types.xml.gz2004-04-08 14:40 236  
[ ]Map2_congr_law''.con.types.xml.gz2004-04-08 14:40 236  
[ ]Map2''.con.xml.gz2004-04-08 14:40 270  
[ ]Map_setoid''.con.xml.gz2004-04-08 14:40 281  
[ ]Pres1''.con.body.xml.gz2004-04-08 14:40 281  
[ ]Map2_cong_law''.con.xml.gz2004-04-08 14:40 291  
[ ]Map2_congl_law''.con.xml.gz2004-04-08 14:40 292  
[ ]Map2_congr_law''.con.xml.gz2004-04-08 14:40 292  
[ ]Build_Map2''.con.xml.gz2004-04-08 14:40 302  
[ ]Carrier''.con.xml.gz2004-04-08 14:40 317  
[ ]Ext''.con.xml.gz2004-04-08 14:40 344  
[ ]Map_setoid''.con.body.xml.gz2004-04-08 14:40 377  
[ ]Ext_equiv''.con.xml.gz2004-04-08 14:40 392  
[ ]Ap''.con.xml.gz2004-04-08 14:40 398  
[ ]Ap2''.con.xml.gz2004-04-08 14:40 399  
[ ]Prf_map2_cong''.con.xml.gz2004-04-08 14:40 399  
[ ]Prf_map2_congl''.con.xml.gz2004-04-08 14:40 403  
[ ]Prf_map2_congr''.con.xml.gz2004-04-08 14:40 403  
[ ]Map2''.con.body.xml.gz2004-04-08 14:40 410  
[ ]Map_law''.con.xml.gz2004-04-08 14:40 413  
[ ]Pres''.con.xml.gz2004-04-08 14:40 420  
[ ]Setoid''_rec.con.body.xml.gz2004-04-08 14:40 431  
[ ]Refl''.con.xml.gz2004-04-08 14:40 433  
[ ]Setoid''_ind.con.body.xml.gz2004-04-08 14:40 433  
[ ]Map2_map1''.con.types.xml.gz2004-04-08 14:40 438  
[ ]Map''_ind.con.body.xml.gz2004-04-08 14:40 449  
[ ]Map''_rec.con.body.xml.gz2004-04-08 14:40 451  
[ ]Equal''.con.xml.gz2004-04-08 14:40 454  
[ ]Map2_map_law2''.con.xml.gz2004-04-08 14:40 454  
[ ]Map2_map1''.con.xml.gz2004-04-08 14:40 467  
[ ]Build_Map2''.con.body.xml.gz2004-04-08 14:40 495  
[ ]Prf_equiv''.con.xml.gz2004-04-08 14:40 498  
[ ]Sym''.con.xml.gz2004-04-08 14:40 504  
[ ]Map2_map_law1''.con.xml.gz2004-04-08 14:40 525  
[ ]Refl''.con.body.xml.gz2004-04-08 14:40 537  
[ ]Ext''.con.body.xml.gz2004-04-08 14:40 553  
[ ]Trans''.con.xml.gz2004-04-08 14:40 568  
[ ]Map''.ind.xml.gz2004-04-08 14:40 570  
[ ]Map2''_Map''.con.xml.gz2004-04-08 14:40 571  
[ ]Pres1''.con.xml.gz2004-04-08 14:40 574  
[ ]Map2_map1''.con.body.xml.gz2004-04-08 14:40 577  
[ ]Setoid''.ind.xml.gz2004-04-08 14:40 579  
[ ]Map2_map_law1''.con.body.xml.gz2004-04-08 14:40 581  
[ ]Map2_congl_law''.con.body.xml.gz2004-04-08 14:40 591  
[ ]Map2_congr_law''.con.body.xml.gz2004-04-08 14:40 592  
[ ]Map2_map_law2''.con.body.xml.gz2004-04-08 14:40 599  
[ ]Ap2''.con.body.xml.gz2004-04-08 14:40 612  
[ ]Map_law''.con.body.xml.gz2004-04-08 14:40 613  
[ ]Sym''.con.body.xml.gz2004-04-08 14:40 614  
[ ]Trans''.con.body.xml.gz2004-04-08 14:40 618  
[ ]Map2_cong_law''.con.body.xml.gz2004-04-08 14:40 649  
[ ]Pres1''.con.types.xml.gz2004-04-08 14:40 658  
[ ]Carrier''.con.body.xml.gz2004-04-08 14:40 659  
[ ]Map''_rec.con.xml.gz2004-04-08 14:40 681  
[ ]Ap''.con.body.xml.gz2004-04-08 14:40 684  
[ ]Map''_ind.con.xml.gz2004-04-08 14:40 684  
[ ]Map''_rect.con.xml.gz2004-04-08 14:40 684  
[ ]Prf_map2_congr''.con.body.xml.gz2004-04-08 14:40 697  
[ ]Refl''.con.types.xml.gz2004-04-08 14:40 702  
[ ]Pres''.con.body.xml.gz2004-04-08 14:40 715  
[ ]Setoid''_rect.con.xml.gz2004-04-08 14:40 718  
[ ]Map2''_Map''.con.body.xml.gz2004-04-08 14:40 719  
[ ]Setoid''_rec.con.xml.gz2004-04-08 14:40 719  
[ ]Equal''.con.body.xml.gz2004-04-08 14:40 720  
[ ]Setoid''_ind.con.xml.gz2004-04-08 14:40 724  
[ ]Prf_map2_congl''.con.body.xml.gz2004-04-08 14:40 753  
[ ]Prf_equiv''.con.body.xml.gz2004-04-08 14:40 772  
[ ]Pres''.con.types.xml.gz2004-04-08 14:40 804  
[ ]Map''_rect.con.body.xml.gz2004-04-08 14:40 807  
[ ]Prf_map2_cong''.con.body.xml.gz2004-04-08 14:40 817  
[ ]Setoid''_rect.con.body.xml.gz2004-04-08 14:40 849  
[ ]Map''_ind.con.types.xml.gz2004-04-08 14:40 861  
[ ]Sym''.con.types.xml.gz2004-04-08 14:40 871  
[ ]Setoid''_ind.con.types.xml.gz2004-04-08 14:40 908  
[ ]Trans''.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]Prf_equiv''.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]Prf_map2_congr''.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Prf_map2_congl''.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Map2_map_law1''.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Prf_map2_cong''.con.types.xml.gz2004-04-08 14:40 1.4K 
[ ]Ext_equiv''.con.body.xml.gz2004-04-08 14:40 1.4K 
[ ]Map2_map_law2''.con.types.xml.gz2004-04-08 14:40 1.4K 
[ ]INDEX2005-07-05 08:14 1.7K 
[ ]Ext_equiv''.con.types.xml.gz2004-04-08 14:40 2.4K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80