Index of /xml/Sophia-Antipolis/Float/Fop

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Fplus_correct.con.body.xml.gz2004-04-09 00:24 23K 
[ ]Fplus_correct.con.types.xml.gz2004-04-09 00:24 21K 
[ ]Fopp_Fminus_dist_subproof.con.body.xml.gz2004-04-09 00:24 14K 
[ ]Fopp_Fminus_dist_subproof.con.types.xml.gz2004-04-09 00:24 14K 
[ ]Fopp_Fminus_subproof.con.body.xml.gz2004-04-09 00:24 13K 
[ ]Fopp_Fminus_subproof.con.types.xml.gz2004-04-09 00:24 13K 
[ ]Fmult_correct.con.body.xml.gz2004-04-09 00:24 8.8K 
[ ]Fabs_correct2.con.types.xml.gz2004-04-09 00:24 8.6K 
[ ]RleFexpFabs.con.types.xml.gz2004-04-09 00:24 7.8K 
[ ]Fabs_correct1.con.types.xml.gz2004-04-09 00:24 7.7K 
[ ]Fmult_correct.con.types.xml.gz2004-04-09 00:24 7.6K 
[ ]RleFexpFabs_subproof.con.body.xml.gz2004-04-09 00:24 6.8K 
[ ]RleFexpFabs.con.body.xml.gz2004-04-09 00:24 6.3K 
[ ]Fopp_Fminus_dist.con.types.xml.gz2004-04-09 00:24 6.1K 
[ ]RleFexpFabs_subproof.con.types.xml.gz2004-04-09 00:24 5.9K 
[ ]Fabs_correct2.con.body.xml.gz2004-04-09 00:24 5.5K 
[ ]Fopp_Fminus.con.types.xml.gz2004-04-09 00:24 5.3K 
[ ]minusSameExp.con.types.xml.gz2004-04-09 00:24 5.3K 
[ ]minusSameExp_subproof.con.body.xml.gz2004-04-09 00:24 5.1K 
[ ]Fopp_Fminus_dist.con.body.xml.gz2004-04-09 00:24 5.1K 
[ ]minusSameExp_subproof.con.types.xml.gz2004-04-09 00:24 5.0K 
[ ]Fabs_correct1.con.body.xml.gz2004-04-09 00:24 4.7K 
[ ]Fopp_Fminus.con.body.xml.gz2004-04-09 00:24 4.2K 
[ ]minusSameExp.con.body.xml.gz2004-04-09 00:24 3.8K 
[ ]Fabs_correct.con.types.xml.gz2004-04-09 00:24 3.3K 
[ ]Fdigit_opp.con.types.xml.gz2004-04-09 00:24 3.1K 
[ ]Fabs_correct2_subproof.con.body.xml.gz2004-04-09 00:24 2.9K 
[ ]minusSameExp_subproof0.con.body.xml.gz2004-04-09 00:24 2.9K 
[ ]Fabs_correct1_subproof.con.body.xml.gz2004-04-09 00:24 2.8K 
[ ]minusSameExp_subproof0.con.types.xml.gz2004-04-09 00:24 2.5K 
[ ]Fmult_correct_subproof.con.body.xml.gz2004-04-09 00:24 2.5K 
[ ]Fplus_correct_subproof0.con.body.xml.gz2004-04-09 00:24 2.5K 
[ ]Fplus_correct_subproof.con.body.xml.gz2004-04-09 00:24 2.5K 
[ ]Fzero_opp.con.types.xml.gz2004-04-09 00:24 2.5K 
[ ]Fabs_correct2_subproof.con.types.xml.gz2004-04-09 00:24 2.4K 
[ ]Fplus_correct_subproof0.con.types.xml.gz2004-04-09 00:24 2.3K 
[ ]Fplus_correct_subproof.con.types.xml.gz2004-04-09 00:24 2.3K 
[ ]Fmult_correct_subproof.con.types.xml.gz2004-04-09 00:24 2.3K 
[ ]Fabs_correct1_subproof.con.types.xml.gz2004-04-09 00:24 2.3K 
[ ]Fdigit_opp.con.body.xml.gz2004-04-09 00:24 2.2K 
[ ]Fabs_Fzero.con.types.xml.gz2004-04-09 00:24 1.8K 
[ ]INDEX2005-07-05 08:12 1.8K 
[ ]Fdigit_abs.con.types.xml.gz2004-04-09 00:24 1.6K 
[ ]Fabs_correct.con.body.xml.gz2004-04-09 00:24 1.4K 
[ ]oneZplus.con.types.xml.gz2004-04-09 00:24 1.4K 
[ ]Fzero_opp.con.body.xml.gz2004-04-09 00:24 1.3K 
[ ]Fminus_correct.con.types.xml.gz2004-04-09 00:24 1.3K 
[ ]Fabs_Fzero.con.body.xml.gz2004-04-09 00:24 1.3K 
[ ]Fminus_correct.con.body.xml.gz2004-04-09 00:24 1.1K 
[ ]Fopp_correct.con.types.xml.gz2004-04-09 00:24 1.1K 
[ ]Fopp_Fminus_dist_subproof.con.xml.gz2004-04-09 00:24 1.0K 
[ ]Fopp_Fminus_subproof.con.xml.gz2004-04-09 00:24 1.0K 
[ ]Fopp_Fopp.con.types.xml.gz2004-04-09 00:24 1.0K 
[ ]Fopp_correct.con.body.xml.gz2004-04-09 00:24 1.0K 
[ ]Fdigit_abs.con.body.xml.gz2004-04-09 00:24 1.0K 
[ ]Fopp_Fopp.con.body.xml.gz2004-04-09 00:24 940  
[ ]Fplus.con.body.xml.gz2004-04-09 00:24 841  
[ ]oneZplus.con.body.xml.gz2004-04-09 00:24 764  
[ ]RleFexpFabs_subproof.con.xml.gz2004-04-09 00:24 730  
[ ]minusSameExp_subproof.con.xml.gz2004-04-09 00:24 725  
[ ]RleFexpFabs.con.xml.gz2004-04-09 00:24 714  
[ ]oneZplus.con.xml.gz2004-04-09 00:24 667  
[ ]minusSameExp.con.xml.gz2004-04-09 00:24 662  
[ ]Fabs_correct2.con.xml.gz2004-04-09 00:24 645  
[ ]Fabs_correct1.con.xml.gz2004-04-09 00:24 624  
[ ]Fplus_correct.con.xml.gz2004-04-09 00:24 579  
[ ]Fmult_correct.con.xml.gz2004-04-09 00:24 578  
[ ]Fminus_correct.con.xml.gz2004-04-09 00:24 577  
[ ]minusSameExp_subproof0.con.xml.gz2004-04-09 00:24 568  
[ ]Fdigit_opp.con.xml.gz2004-04-09 00:24 547  
[ ]Fdigit_abs.con.xml.gz2004-04-09 00:24 543  
[ ]Fopp_Fminus_dist.con.xml.gz2004-04-09 00:24 536  
[ ]Fabs_correct.con.xml.gz2004-04-09 00:24 536  
[ ]Fopp_correct.con.xml.gz2004-04-09 00:24 524  
[ ]Fmult.con.body.xml.gz2004-04-09 00:24 517  
[ ]Fopp_Fminus.con.xml.gz2004-04-09 00:24 509  
[ ]Fabs_correct2_subproof.con.xml.gz2004-04-09 00:24 499  
[ ]Fabs_correct1_subproof.con.xml.gz2004-04-09 00:24 496  
[ ]Fplus_correct_subproof0.con.xml.gz2004-04-09 00:24 482  
[ ]Fmult_correct_subproof.con.xml.gz2004-04-09 00:24 482  
[ ]Fplus_correct_subproof.con.xml.gz2004-04-09 00:24 480  
[ ]Fabs_Fzero.con.xml.gz2004-04-09 00:24 474  
[ ]Fzero_opp.con.xml.gz2004-04-09 00:24 473  
[ ]Fabs.con.body.xml.gz2004-04-09 00:24 452  
[ ]Fopp.con.body.xml.gz2004-04-09 00:24 451  
[ ]Fopp_Fopp.con.xml.gz2004-04-09 00:24 434  
[ ]Fminus.con.body.xml.gz2004-04-09 00:24 426  
[ ]Fplus.con.xml.gz2004-04-09 00:24 314  
[ ]Fminus.con.xml.gz2004-04-09 00:24 314  
[ ]Fmult.con.xml.gz2004-04-09 00:24 293  
[ ]Fopp.con.xml.gz2004-04-09 00:24 284  
[ ]Fabs.con.xml.gz2004-04-09 00:24 284  
[ ]Fminus.con.types.xml.gz2004-04-09 00:24 200  
[ ]Fplus.con.types.xml.gz2004-04-09 00:24 198  
[ ]Fmult.con.types.xml.gz2004-04-09 00:24 198  
[ ]Fabs.con.types.xml.gz2004-04-09 00:24 197  
[ ]Fopp.con.types.xml.gz2004-04-09 00:24 196  
[DIR]operations/2005-07-05 08:13 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80