Index of /xml/Rocq/COC/MyList

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Listes/2005-07-05 08:13 -  
[ ]In.ind.types.xml.gz2004-04-08 14:33 185  
[ ]item.ind.types.xml.gz2004-04-08 14:33 188  
[ ]incl.con.types.xml.gz2004-04-08 14:33 189  
[ ]trunc.ind.types.xml.gz2004-04-08 14:33 190  
[ ]insert.ind.types.xml.gz2004-04-08 14:33 191  
[ ]nth_def.con.types.xml.gz2004-04-08 14:33 195  
[ ]first_item.ind.types.xml.gz2004-04-08 14:33 199  
[ ]list_disjoint.con.types.xml.gz2004-04-08 14:33 206  
[ ]incl.con.xml.gz2004-04-08 14:33 309  
[ ]list_disjoint.con.xml.gz2004-04-08 14:33 324  
[ ]nth_def.con.xml.gz2004-04-08 14:33 345  
[ ]incl.con.body.xml.gz2004-04-08 14:33 471  
[ ]first_item_is_item.con.xml.gz2004-04-08 14:33 500  
[ ]incl_app_sym.con.xml.gz2004-04-08 14:33 511  
[ ]list_disjoint.con.body.xml.gz2004-04-08 14:33 512  
[ ]inv_nth_nl.con.xml.gz2004-04-08 14:33 532  
[ ]fun_item.con.xml.gz2004-04-08 14:33 551  
[ ]first_item_unique.con.xml.gz2004-04-08 14:33 563  
[ ]nth_sound.con.xml.gz2004-04-08 14:33 567  
[ ]ins_eq.con.xml.gz2004-04-08 14:33 582  
[ ]In_app.con.xml.gz2004-04-08 14:33 600  
[ ]list_index.con.xml.gz2004-04-08 14:33 600  
[ ]item_trunc.con.xml.gz2004-04-08 14:33 616  
[ ]inv_nth_cs.con.xml.gz2004-04-08 14:33 624  
[ ]list_item.con.xml.gz2004-04-08 14:33 626  
[ ]ins_gt.con.xml.gz2004-04-08 14:33 660  
[ ]ins_le.con.xml.gz2004-04-08 14:33 693  
[ ]In.ind.xml.gz2004-04-08 14:33 734  
[ ]trunc.ind.xml.gz2004-04-08 14:33 760  
[ ]In_ind.con.xml.gz2004-04-08 14:33 793  
[ ]item.ind.xml.gz2004-04-08 14:33 823  
[ ]insert.ind.xml.gz2004-04-08 14:33 904  
[ ]first_item.ind.xml.gz2004-04-08 14:33 927  
[ ]item_ind.con.xml.gz2004-04-08 14:33 932  
[ ]trunc_ind.con.xml.gz2004-04-08 14:33 939  
[ ]nth_def.con.body.xml.gz2004-04-08 14:33 959  
[ ]nth_sound.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]first_item_is_item.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]first_item_ind.con.xml.gz2004-04-08 14:33 1.0K 
[ ]ins_eq.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]insert_ind.con.xml.gz2004-04-08 14:33 1.0K 
[ ]first_item_is_item.con.types.xml.gz2004-04-08 14:33 1.2K 
[ ]INDEX2005-07-05 08:12 1.2K 
[ ]In_ind.con.body.xml.gz2004-04-08 14:33 1.3K 
[ ]In_ind.con.types.xml.gz2004-04-08 14:33 1.3K 
[ ]ins_eq.con.types.xml.gz2004-04-08 14:33 1.4K 
[ ]nth_sound.con.types.xml.gz2004-04-08 14:33 1.5K 
[ ]item_ind.con.body.xml.gz2004-04-08 14:33 1.5K 
[ ]trunc_ind.con.body.xml.gz2004-04-08 14:33 1.5K 
[ ]item_ind.con.types.xml.gz2004-04-08 14:33 1.6K 
[ ]trunc_ind.con.types.xml.gz2004-04-08 14:33 1.7K 
[ ]first_item_ind.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]insert_ind.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]incl_app_sym.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]first_item_ind.con.types.xml.gz2004-04-08 14:33 1.7K 
[ ]insert_ind.con.types.xml.gz2004-04-08 14:33 1.9K 
[ ]incl_app_sym.con.types.xml.gz2004-04-08 14:33 2.3K 
[ ]inv_nth_nl.con.types.xml.gz2004-04-08 14:33 2.8K 
[ ]inv_nth_nl.con.body.xml.gz2004-04-08 14:33 3.0K 
[ ]ins_gt.con.body.xml.gz2004-04-08 14:33 4.0K 
[ ]ins_le.con.body.xml.gz2004-04-08 14:33 4.3K 
[ ]ins_gt.con.types.xml.gz2004-04-08 14:33 6.2K 
[ ]ins_le.con.types.xml.gz2004-04-08 14:33 6.9K 
[ ]list_index.con.types.xml.gz2004-04-08 14:33 7.1K 
[ ]inv_nth_cs.con.body.xml.gz2004-04-08 14:33 7.6K 
[ ]inv_nth_cs.con.types.xml.gz2004-04-08 14:33 7.9K 
[ ]In_app.con.body.xml.gz2004-04-08 14:33 8.4K 
[ ]item_trunc.con.body.xml.gz2004-04-08 14:33 8.8K 
[ ]list_item.con.types.xml.gz2004-04-08 14:33 9.6K 
[ ]In_app.con.types.xml.gz2004-04-08 14:33 10K 
[ ]list_index.con.body.xml.gz2004-04-08 14:33 12K 
[ ]item_trunc.con.types.xml.gz2004-04-08 14:33 12K 
[ ]list_item.con.body.xml.gz2004-04-08 14:33 14K 
[ ]fun_item.con.body.xml.gz2004-04-08 14:33 14K 
[ ]first_item_unique.con.body.xml.gz2004-04-08 14:33 15K 
[ ]fun_item.con.types.xml.gz2004-04-08 14:33 15K 
[ ]first_item_unique.con.types.xml.gz2004-04-08 14:33 17K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80