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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]FminOp/2005-07-05 08:13 -  
[ ]rOp.con.types.xml.gz2004-04-09 00:36 197  
[ ]rCeil.con.types.xml.gz2004-04-09 00:36 200  
[ ]Z2pos.con.types.xml.gz2004-04-09 00:34 201  
[ ]rFloat.con.types.xml.gz2004-04-09 00:36 201  
[ ]rFloor.con.types.xml.gz2004-04-09 00:36 201  
[ ]FindMin.con.types.xml.gz2004-04-09 00:34 203  
[ ]ZevenP.con.types.xml.gz2004-04-09 00:36 203  
[ ]rResult.ind.types.xml.gz2004-04-09 00:36 204  
[ ]rToZero.con.types.xml.gz2004-04-09 00:36 205  
[ ]rClosestEven.con.types.xml.gz2004-04-09 00:36 212  
[ ]rResult_rec.con.types.xml.gz2004-04-09 00:36 212  
[ ]rResult_rect.con.types.xml.gz2004-04-09 00:36 214  
[ ]rClosestEvenPos.con.types.xml.gz2004-04-09 00:36 217  
[ ]rOp.con.xml.gz2004-04-09 00:36 287  
[ ]Z2pos.con.xml.gz2004-04-09 00:34 292  
[ ]rFloat.con.xml.gz2004-04-09 00:36 298  
[ ]ZevenP.con.xml.gz2004-04-09 00:36 304  
[ ]rCeil.con.xml.gz2004-04-09 00:36 326  
[ ]rFloor.con.xml.gz2004-04-09 00:36 329  
[ ]rToZero.con.xml.gz2004-04-09 00:36 330  
[ ]rClosestEven.con.xml.gz2004-04-09 00:36 340  
[ ]rClosestEvenPos.con.xml.gz2004-04-09 00:36 374  
[ ]rResult.ind.xml.gz2004-04-09 00:36 392  
[ ]FindMin.con.xml.gz2004-04-09 00:34 399  
[ ]rResult_rec.con.body.xml.gz2004-04-09 00:36 422  
[ ]rResult_ind.con.body.xml.gz2004-04-09 00:36 426  
[ ]RleR0Rminus.con.xml.gz2004-04-09 00:36 446  
[ ]rFloat.con.body.xml.gz2004-04-09 00:36 488  
[ ]oZ1_oZ.con.xml.gz2004-04-09 00:34 499  
[ ]Z2pos_correct.con.xml.gz2004-04-09 00:34 515  
[ ]Z2pos.con.body.xml.gz2004-04-09 00:34 541  
[ ]ZevenP_correct.con.xml.gz2004-04-09 00:36 558  
[ ]rResult_rect.con.xml.gz2004-04-09 00:36 559  
[ ]rResult_rec.con.xml.gz2004-04-09 00:36 563  
[ ]rOp.con.body.xml.gz2004-04-09 00:36 567  
[ ]rResult_ind.con.xml.gz2004-04-09 00:36 567  
[ ]Zpower_nat_exp.con.xml.gz2004-04-09 00:34 583  
[ ]NotR0NotZero.con.xml.gz2004-04-09 00:36 610  
[ ]RltSpeTwice2.con.xml.gz2004-04-09 00:36 645  
[ ]RltSpeTwice1.con.xml.gz2004-04-09 00:36 646  
[ ]EqSpeTwice.con.xml.gz2004-04-09 00:36 666  
[ ]FminOp_correct3.con.xml.gz2004-04-09 00:35 697  
[ ]NotR0NotZero_subproof.con.xml.gz2004-04-09 00:36 702  
[ ]rCeil.con.body.xml.gz2004-04-09 00:36 712  
[ ]rResult_ind.con.types.xml.gz2004-04-09 00:36 713  
[ ]FminOp_correct2.con.xml.gz2004-04-09 00:35 718  
[ ]FminOp_correct6.con.xml.gz2004-04-09 00:36 721  
[ ]rResult_rect.con.body.xml.gz2004-04-09 00:36 721  
[ ]rToZero.con.body.xml.gz2004-04-09 00:36 808  
[ ]ClosestMax1.con.xml.gz2004-04-09 00:36 809  
[ ]CanonicFulp.con.xml.gz2004-04-09 00:36 812  
[ ]Fcompare_correct.con.xml.gz2004-04-09 00:36 814  
[ ]ClosestMin1.con.xml.gz2004-04-09 00:36 815  
[ ]ZevenP.con.body.xml.gz2004-04-09 00:36 819  
[ ]rCeil_correct_subproof.con.xml.gz2004-04-09 00:36 832  
[ ]EvenClosestMax1.con.xml.gz2004-04-09 00:36 837  
[ ]FminOp_correct7.con.xml.gz2004-04-09 00:36 839  
[ ]EvenClosestMin1.con.xml.gz2004-04-09 00:36 841  
[ ]FSuccDiffPos.con.xml.gz2004-04-09 00:36 854  
[ ]ClosestMax2.con.xml.gz2004-04-09 00:36 858  
[ ]rClosestEven.con.body.xml.gz2004-04-09 00:36 862  
[ ]ClosestMin2.con.xml.gz2004-04-09 00:36 864  
[ ]FNSuccUlpPos.con.xml.gz2004-04-09 00:36 875  
[ ]FSuccUlpPos.con.xml.gz2004-04-09 00:36 876  
[ ]EvenClosestMax2.con.xml.gz2004-04-09 00:36 907  
[ ]EvenClosestMin2.con.xml.gz2004-04-09 00:36 914  
[ ]RleR0Rminus.con.body.xml.gz2004-04-09 00:36 925  
[ ]FminOp_correct1.con.xml.gz2004-04-09 00:34 956  
[ ]oZ1_oZ.con.body.xml.gz2004-04-09 00:34 1.0K 
[ ]FminOp_correct4.con.xml.gz2004-04-09 00:35 1.0K 
[ ]RleR0Rminus.con.types.xml.gz2004-04-09 00:36 1.0K 
[ ]FminOp_correct5.con.xml.gz2004-04-09 00:36 1.1K 
[ ]FminOp_correct3_subproof.con.xml.gz2004-04-09 00:35 1.1K 
[ ]rFloor_correct.con.xml.gz2004-04-09 00:36 1.1K 
[ ]rCeil_correct.con.xml.gz2004-04-09 00:36 1.1K 
[ ]rToZero_correct.con.xml.gz2004-04-09 00:36 1.1K 
[ ]rClosestEven_correct.con.xml.gz2004-04-09 00:36 1.1K 
[ ]oZ1_oZ.con.types.xml.gz2004-04-09 00:34 1.2K 
[ ]FminOp_correct3_subproof0.con.xml.gz2004-04-09 00:35 1.2K 
[ ]FSuccUlpPos.con.body.xml.gz2004-04-09 00:36 1.2K 
[ ]FminOp_correct1_subproof.con.xml.gz2004-04-09 00:34 1.2K 
[ ]FminOp_correct1_subproof0.con.xml.gz2004-04-09 00:34 1.3K 
[ ]rClosestEvenPos_correct.con.xml.gz2004-04-09 00:36 1.3K 
[ ]FNSuccUlpPos.con.body.xml.gz2004-04-09 00:36 1.3K 
[ ]FSuccUlpPos.con.types.xml.gz2004-04-09 00:36 1.4K 
[ ]Z2pos_correct.con.body.xml.gz2004-04-09 00:34 1.6K 
[ ]rFloor_correct_subproof.con.xml.gz2004-04-09 00:36 1.6K 
[ ]rFloor_correct_subproof0.con.xml.gz2004-04-09 00:36 1.6K 
[ ]FNSuccUlpPos.con.types.xml.gz2004-04-09 00:36 1.6K 
[ ]CanonicFulp.con.body.xml.gz2004-04-09 00:36 1.6K 
[ ]EvenClosestMin2.con.types.xml.gz2004-04-09 00:36 1.8K 
[ ]EvenClosestMax2.con.types.xml.gz2004-04-09 00:36 1.8K 
[ ]EvenClosestMax1.con.body.xml.gz2004-04-09 00:36 1.8K 
[ ]EvenClosestMin1.con.body.xml.gz2004-04-09 00:36 1.8K 
[ ]EvenClosestMin2.con.body.xml.gz2004-04-09 00:36 1.8K 
[ ]NotR0NotZero.con.body.xml.gz2004-04-09 00:36 1.8K 
[ ]EvenClosestMax2.con.body.xml.gz2004-04-09 00:36 1.9K 
[ ]rFloor.con.body.xml.gz2004-04-09 00:36 2.0K 
[ ]EvenClosestMin1.con.types.xml.gz2004-04-09 00:36 2.0K 
[ ]EvenClosestMax1.con.types.xml.gz2004-04-09 00:36 2.0K 
[ ]NotR0NotZero.con.types.xml.gz2004-04-09 00:36 2.1K 
[ ]CanonicFulp.con.types.xml.gz2004-04-09 00:36 2.1K 
[ ]FminOp_correct4_subproof4.con.xml.gz2004-04-09 00:35 2.2K 
[ ]Z2pos_correct.con.types.xml.gz2004-04-09 00:34 2.3K 
[ ]FminOp_correct4_subproof1.con.xml.gz2004-04-09 00:35 2.3K 
[ ]FminOp_correct4_subproof.con.xml.gz2004-04-09 00:35 2.4K 
[ ]rClosestEvenPos.con.body.xml.gz2004-04-09 00:36 2.4K 
[ ]FminOp_correct4_subproof0.con.xml.gz2004-04-09 00:35 2.4K 
[ ]FminOp_correct5_subproof1.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FminOp_correct5_subproof2.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FminOp_correct5_subproof5.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FminOp_correct5_subproof3.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FminOp_correct5_subproof0.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FminOp_correct5_subproof4.con.xml.gz2004-04-09 00:35 2.5K 
[ ]FindMin.con.body.xml.gz2004-04-09 00:34 2.5K 
[ ]FminOp_correct4_subproof3.con.xml.gz2004-04-09 00:35 2.6K 
[ ]FminOp_correct5_subproof.con.xml.gz2004-04-09 00:35 2.7K 
[ ]FminOp_correct5_subproof8.con.xml.gz2004-04-09 00:36 2.7K 
[ ]FminOp_correct5_subproof6.con.xml.gz2004-04-09 00:36 2.8K 
[ ]FminOp_correct5_subproof7.con.xml.gz2004-04-09 00:36 2.8K 
[ ]FminOp_correct4_subproof2.con.xml.gz2004-04-09 00:35 2.8K 
[ ]Fcompare_correct.con.body.xml.gz2004-04-09 00:36 3.0K 
[ ]Zpower_nat_exp.con.types.xml.gz2004-04-09 00:34 3.1K 
[ ]Zpower_nat_exp.con.body.xml.gz2004-04-09 00:34 3.3K 
[ ]NotR0NotZero_subproof.con.types.xml.gz2004-04-09 00:36 3.9K 
[ ]FSuccDiffPos.con.body.xml.gz2004-04-09 00:36 4.0K 
[ ]INDEX2005-07-05 08:12 4.3K 
[ ]FSuccDiffPos.con.types.xml.gz2004-04-09 00:36 4.5K 
[ ]NotR0NotZero_subproof.con.body.xml.gz2004-04-09 00:36 4.6K 
[ ]rCeil_correct_subproof.con.types.xml.gz2004-04-09 00:36 4.9K 
[ ]EqSpeTwice.con.body.xml.gz2004-04-09 00:36 5.0K 
[ ]RltSpeTwice1.con.body.xml.gz2004-04-09 00:36 5.3K 
[ ]RltSpeTwice2.con.body.xml.gz2004-04-09 00:36 5.4K 
[ ]EqSpeTwice.con.types.xml.gz2004-04-09 00:36 5.8K 
[ ]rCeil_correct_subproof.con.body.xml.gz2004-04-09 00:36 5.8K 
[ ]ClosestMin2.con.body.xml.gz2004-04-09 00:36 6.3K 
[ ]ClosestMax2.con.body.xml.gz2004-04-09 00:36 6.5K 
[ ]RltSpeTwice1.con.types.xml.gz2004-04-09 00:36 6.6K 
[ ]RltSpeTwice2.con.types.xml.gz2004-04-09 00:36 6.6K 
[ ]ClosestMax2.con.types.xml.gz2004-04-09 00:36 7.2K 
[ ]ClosestMin2.con.types.xml.gz2004-04-09 00:36 7.5K 
[ ]ZevenP_correct.con.body.xml.gz2004-04-09 00:36 8.6K 
[ ]ClosestMin1.con.body.xml.gz2004-04-09 00:36 8.6K 
[ ]ClosestMax1.con.body.xml.gz2004-04-09 00:36 8.7K 
[ ]ClosestMax1.con.types.xml.gz2004-04-09 00:36 9.8K 
[ ]ClosestMin1.con.types.xml.gz2004-04-09 00:36 9.8K 
[ ]rCeil_correct.con.body.xml.gz2004-04-09 00:36 10K 
[ ]Fcompare_correct.con.types.xml.gz2004-04-09 00:36 12K 
[ ]ZevenP_correct.con.types.xml.gz2004-04-09 00:36 14K 
[ ]FminOp_correct7.con.body.xml.gz2004-04-09 00:36 14K 
[ ]FminOp_correct6.con.body.xml.gz2004-04-09 00:36 15K 
[ ]rCeil_correct.con.types.xml.gz2004-04-09 00:36 18K 
[ ]rClosestEven_correct.con.body.xml.gz2004-04-09 00:36 18K 
[ ]FminOp_correct7.con.types.xml.gz2004-04-09 00:36 19K 
[ ]rFloor_correct_subproof.con.types.xml.gz2004-04-09 00:36 19K 
[ ]rFloor_correct_subproof0.con.types.xml.gz2004-04-09 00:36 19K 
[ ]FminOp_correct3_subproof.con.types.xml.gz2004-04-09 00:35 19K 
[ ]FminOp_correct2.con.body.xml.gz2004-04-09 00:35 20K 
[ ]FminOp_correct1_subproof.con.types.xml.gz2004-04-09 00:34 21K 
[ ]FminOp_correct1_subproof0.con.types.xml.gz2004-04-09 00:34 21K 
[ ]FminOp_correct3_subproof0.con.types.xml.gz2004-04-09 00:35 22K 
[ ]rFloor_correct_subproof0.con.body.xml.gz2004-04-09 00:36 23K 
[ ]rFloor_correct_subproof.con.body.xml.gz2004-04-09 00:36 23K 
[ ]FminOp_correct3.con.body.xml.gz2004-04-09 00:35 24K 
[ ]rToZero_correct.con.body.xml.gz2004-04-09 00:36 26K 
[ ]FminOp_correct3_subproof.con.body.xml.gz2004-04-09 00:35 26K 
[ ]FminOp_correct1_subproof.con.body.xml.gz2004-04-09 00:34 28K 
[ ]FminOp_correct3_subproof0.con.body.xml.gz2004-04-09 00:35 29K 
[ ]FminOp_correct1_subproof0.con.body.xml.gz2004-04-09 00:34 30K 
[ ]FminOp_correct6.con.types.xml.gz2004-04-09 00:36 32K 
[ ]FminOp_correct4_subproof0.con.types.xml.gz2004-04-09 00:35 32K 
[ ]FminOp_correct5_subproof.con.types.xml.gz2004-04-09 00:35 32K 
[ ]rClosestEven_correct.con.types.xml.gz2004-04-09 00:36 32K 
[ ]FminOp_correct5_subproof8.con.types.xml.gz2004-04-09 00:36 33K 
[ ]FminOp_correct5_subproof6.con.types.xml.gz2004-04-09 00:36 33K 
[ ]FminOp_correct5_subproof7.con.types.xml.gz2004-04-09 00:36 34K 
[ ]FminOp_correct5_subproof3.con.types.xml.gz2004-04-09 00:35 34K 
[ ]FminOp_correct5_subproof0.con.types.xml.gz2004-04-09 00:35 35K 
[ ]FminOp_correct5_subproof1.con.types.xml.gz2004-04-09 00:35 35K 
[ ]FminOp_correct5_subproof2.con.types.xml.gz2004-04-09 00:35 35K 
[ ]FminOp_correct5_subproof5.con.types.xml.gz2004-04-09 00:35 37K 
[ ]FminOp_correct4_subproof4.con.types.xml.gz2004-04-09 00:35 38K 
[ ]FminOp_correct2.con.types.xml.gz2004-04-09 00:35 39K 
[ ]FminOp_correct5_subproof4.con.types.xml.gz2004-04-09 00:35 39K 
[ ]FminOp_correct4_subproof1.con.types.xml.gz2004-04-09 00:35 41K 
[ ]FminOp_correct5_subproof.con.body.xml.gz2004-04-09 00:35 46K 
[ ]FminOp_correct5_subproof8.con.body.xml.gz2004-04-09 00:36 47K 
[ ]FminOp_correct5_subproof6.con.body.xml.gz2004-04-09 00:36 48K 
[ ]FminOp_correct5_subproof7.con.body.xml.gz2004-04-09 00:36 48K 
[ ]FminOp_correct4_subproof.con.types.xml.gz2004-04-09 00:35 50K 
[ ]FminOp_correct4_subproof0.con.body.xml.gz2004-04-09 00:35 50K 
[ ]FminOp_correct5_subproof3.con.body.xml.gz2004-04-09 00:35 50K 
[ ]FminOp_correct5_subproof0.con.body.xml.gz2004-04-09 00:35 51K 
[ ]FminOp_correct5_subproof1.con.body.xml.gz2004-04-09 00:35 51K 
[ ]FminOp_correct5_subproof2.con.body.xml.gz2004-04-09 00:35 51K 
[ ]FminOp_correct5_subproof5.con.body.xml.gz2004-04-09 00:35 54K 
[ ]FminOp_correct4_subproof2.con.types.xml.gz2004-04-09 00:35 54K 
[ ]FminOp_correct4_subproof4.con.body.xml.gz2004-04-09 00:35 55K 
[ ]FminOp_correct5_subproof4.con.body.xml.gz2004-04-09 00:35 56K 
[ ]FminOp_correct4_subproof1.con.body.xml.gz2004-04-09 00:35 60K 
[ ]FminOp_correct4_subproof3.con.types.xml.gz2004-04-09 00:35 63K 
[ ]FminOp_correct3.con.types.xml.gz2004-04-09 00:35 64K 
[ ]rToZero_correct.con.types.xml.gz2004-04-09 00:36 65K 
[ ]FminOp_correct4_subproof.con.body.xml.gz2004-04-09 00:35 70K 
[ ]FminOp_correct4_subproof2.con.body.xml.gz2004-04-09 00:35 82K 
[ ]FminOp_correct4.con.body.xml.gz2004-04-09 00:35 83K 
[ ]rFloor_correct.con.body.xml.gz2004-04-09 00:36 86K 
[ ]FminOp_correct1.con.body.xml.gz2004-04-09 00:34 87K 
[ ]FminOp_correct4_subproof3.con.body.xml.gz2004-04-09 00:35 93K 
[ ]FminOp_correct5.con.body.xml.gz2004-04-09 00:36 104K 
[ ]rClosestEvenPos_correct.con.body.xml.gz2004-04-09 00:36 112K 
[ ]rFloor_correct.con.types.xml.gz2004-04-09 00:36 141K 
[ ]FminOp_correct1.con.types.xml.gz2004-04-09 00:34 158K 
[ ]FminOp_correct5.con.types.xml.gz2004-04-09 00:36 180K 
[ ]rClosestEvenPos_correct.con.types.xml.gz2004-04-09 00:36 227K 
[ ]FminOp_correct4.con.types.xml.gz2004-04-09 00:35 269K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80