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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]FMinMax/2005-07-05 08:13 -  
[ ]FmaxRep.con.body.xml.gz2004-04-09 00:26 3.7K 
[ ]FmaxRep.con.types.xml.gz2004-04-09 00:26 4.1K 
[ ]FmaxRep.con.xml.gz2004-04-09 00:26 767  
[ ]FminRep.con.body.xml.gz2004-04-09 00:26 16K 
[ ]FminRep.con.types.xml.gz2004-04-09 00:26 18K 
[ ]FminRep.con.xml.gz2004-04-09 00:26 761  
[ ]FminRep_subproof.con.body.xml.gz2004-04-09 00:26 9.8K 
[ ]FminRep_subproof.con.types.xml.gz2004-04-09 00:26 8.2K 
[ ]FminRep_subproof.con.xml.gz2004-04-09 00:26 958  
[ ]INDEX2005-07-05 08:12 2.4K 
[ ]MaxBinade.con.body.xml.gz2004-04-09 00:26 2.9K 
[ ]MaxBinade.con.types.xml.gz2004-04-09 00:26 2.7K 
[ ]MaxBinade.con.xml.gz2004-04-09 00:26 743  
[ ]MaxEq.con.body.xml.gz2004-04-09 00:26 3.9K 
[ ]MaxEq.con.types.xml.gz2004-04-09 00:26 3.8K 
[ ]MaxEq.con.xml.gz2004-04-09 00:26 585  
[ ]MaxEx.con.body.xml.gz2004-04-09 00:26 3.1K 
[ ]MaxEx.con.types.xml.gz2004-04-09 00:26 3.2K 
[ ]MaxEx.con.xml.gz2004-04-09 00:26 558  
[ ]MaxMin.con.body.xml.gz2004-04-09 00:26 3.4K 
[ ]MaxMin.con.types.xml.gz2004-04-09 00:26 2.6K 
[ ]MaxMin.con.xml.gz2004-04-09 00:26 720  
[ ]MaxOppMin.con.body.xml.gz2004-04-09 00:26 5.7K 
[ ]MaxOppMin.con.types.xml.gz2004-04-09 00:26 5.3K 
[ ]MaxOppMin.con.xml.gz2004-04-09 00:26 527  
[ ]MinBinade.con.body.xml.gz2004-04-09 00:26 3.7K 
[ ]MinBinade.con.types.xml.gz2004-04-09 00:26 3.2K 
[ ]MinBinade.con.xml.gz2004-04-09 00:26 746  
[ ]MinEq.con.body.xml.gz2004-04-09 00:26 3.9K 
[ ]MinEq.con.types.xml.gz2004-04-09 00:26 3.8K 
[ ]MinEq.con.xml.gz2004-04-09 00:26 585  
[ ]MinEx.con.body.xml.gz2004-04-09 00:26 9.3K 
[ ]MinEx.con.types.xml.gz2004-04-09 00:26 8.9K 
[ ]MinEx.con.xml.gz2004-04-09 00:26 554  
[ ]MinExList.con.body.xml.gz2004-04-09 00:26 25K 
[ ]MinExList.con.types.xml.gz2004-04-09 00:26 29K 
[ ]MinExList.con.xml.gz2004-04-09 00:26 1.1K 
[ ]MinMax.con.body.xml.gz2004-04-09 00:26 8.8K 
[ ]MinMax.con.types.xml.gz2004-04-09 00:26 9.2K 
[ ]MinMax.con.xml.gz2004-04-09 00:26 717  
[ ]MinOppMax.con.body.xml.gz2004-04-09 00:26 5.6K 
[ ]MinOppMax.con.types.xml.gz2004-04-09 00:26 5.5K 
[ ]MinOppMax.con.xml.gz2004-04-09 00:26 530  
[ ]MonotoneMax.con.body.xml.gz2004-04-09 00:26 2.5K 
[ ]MonotoneMax.con.types.xml.gz2004-04-09 00:26 2.4K 
[ ]MonotoneMax.con.xml.gz2004-04-09 00:26 307  
[ ]MonotoneMin.con.body.xml.gz2004-04-09 00:26 2.5K 
[ ]MonotoneMin.con.types.xml.gz2004-04-09 00:26 2.4K 
[ ]MonotoneMin.con.xml.gz2004-04-09 00:26 307  
[ ]MonotoneP.con.body.xml.gz2004-04-09 00:26 700  
[ ]MonotoneP.con.types.xml.gz2004-04-09 00:26 205  
[ ]MonotoneP.con.xml.gz2004-04-09 00:26 397  
[ ]ProjectMax.con.body.xml.gz2004-04-09 00:26 2.2K 
[ ]ProjectMax.con.types.xml.gz2004-04-09 00:26 2.0K 
[ ]ProjectMax.con.xml.gz2004-04-09 00:26 305  
[ ]ProjectMin.con.body.xml.gz2004-04-09 00:26 2.2K 
[ ]ProjectMin.con.types.xml.gz2004-04-09 00:26 2.0K 
[ ]ProjectMin.con.xml.gz2004-04-09 00:26 305  
[ ]ProjectorP.con.body.xml.gz2004-04-09 00:26 685  
[ ]ProjectorP.con.types.xml.gz2004-04-09 00:26 208  
[ ]ProjectorP.con.xml.gz2004-04-09 00:26 403  
[ ]boundBoundNat.con.body.xml.gz2004-04-09 00:26 915  
[ ]boundBoundNat.con.types.xml.gz2004-04-09 00:26 1.2K 
[ ]boundBoundNat.con.xml.gz2004-04-09 00:26 491  
[ ]boundBoundNat_subproof.con.body.xml.gz2004-04-09 00:26 11K 
[ ]boundBoundNat_subproof.con.types.xml.gz2004-04-09 00:26 8.3K 
[ ]boundBoundNat_subproof.con.xml.gz2004-04-09 00:26 624  
[ ]boundNat.con.body.xml.gz2004-04-09 00:26 579  
[ ]boundNat.con.types.xml.gz2004-04-09 00:26 205  
[ ]boundNat.con.xml.gz2004-04-09 00:26 321  
[ ]boundNatCorrect.con.body.xml.gz2004-04-09 00:26 2.1K 
[ ]boundNatCorrect.con.types.xml.gz2004-04-09 00:26 1.9K 
[ ]boundNatCorrect.con.xml.gz2004-04-09 00:26 518  
[ ]boundR.con.body.xml.gz2004-04-09 00:26 463  
[ ]boundR.con.types.xml.gz2004-04-09 00:26 201  
[ ]boundR.con.xml.gz2004-04-09 00:26 336  
[ ]boundRCorrect1.con.body.xml.gz2004-04-09 00:26 3.7K 
[ ]boundRCorrect1.con.types.xml.gz2004-04-09 00:26 4.8K 
[ ]boundRCorrect1.con.xml.gz2004-04-09 00:26 480  
[ ]boundRCorrect2.con.body.xml.gz2004-04-09 00:26 3.4K 
[ ]boundRCorrect2.con.types.xml.gz2004-04-09 00:26 3.1K 
[ ]boundRCorrect2.con.xml.gz2004-04-09 00:26 502  
[ ]boundRrOpp.con.body.xml.gz2004-04-09 00:26 847  
[ ]boundRrOpp.con.types.xml.gz2004-04-09 00:26 954  
[ ]boundRrOpp.con.xml.gz2004-04-09 00:26 489  
[ ]isMax.con.body.xml.gz2004-04-09 00:26 751  
[ ]isMax.con.types.xml.gz2004-04-09 00:26 199  
[ ]isMax.con.xml.gz2004-04-09 00:26 373  
[ ]isMax_inv1.con.body.xml.gz2004-04-09 00:26 1.3K 
[ ]isMax_inv1.con.types.xml.gz2004-04-09 00:26 1.5K 
[ ]isMax_inv1.con.xml.gz2004-04-09 00:26 512  
[ ]isMin.con.body.xml.gz2004-04-09 00:26 750  
[ ]isMin.con.types.xml.gz2004-04-09 00:26 198  
[ ]isMin.con.xml.gz2004-04-09 00:26 373  
[ ]isMin_inv1.con.body.xml.gz2004-04-09 00:26 1.3K 
[ ]isMin_inv1.con.types.xml.gz2004-04-09 00:26 1.5K 
[ ]isMin_inv1.con.xml.gz2004-04-09 00:26 515  
[ ]mBFadic_correct1.con.body.xml.gz2004-04-09 00:26 12K 
[ ]mBFadic_correct1.con.types.xml.gz2004-04-09 00:26 14K 
[ ]mBFadic_correct1.con.xml.gz2004-04-09 00:26 847  
[ ]mBFadic_correct1_subproof.con.body.xml.gz2004-04-09 00:26 13K 
[ ]mBFadic_correct1_subproof.con.types.xml.gz2004-04-09 00:26 12K 
[ ]mBFadic_correct1_subproof.con.xml.gz2004-04-09 00:26 1.4K 
[ ]mBFadic_correct1_subproof0.con.body.xml.gz2004-04-09 00:26 13K 
[ ]mBFadic_correct1_subproof0.con.types.xml.gz2004-04-09 00:26 11K 
[ ]mBFadic_correct1_subproof0.con.xml.gz2004-04-09 00:26 1.5K 
[ ]mBFadic_correct1_subproof1.con.body.xml.gz2004-04-09 00:26 9.0K 
[ ]mBFadic_correct1_subproof1.con.types.xml.gz2004-04-09 00:26 7.2K 
[ ]mBFadic_correct1_subproof1.con.xml.gz2004-04-09 00:26 1.0K 
[ ]mBFadic_correct1_subproof2.con.body.xml.gz2004-04-09 00:26 9.0K 
[ ]mBFadic_correct1_subproof2.con.types.xml.gz2004-04-09 00:26 7.2K 
[ ]mBFadic_correct1_subproof2.con.xml.gz2004-04-09 00:26 1.0K 
[ ]mBFadic_correct2.con.body.xml.gz2004-04-09 00:26 5.1K 
[ ]mBFadic_correct2.con.types.xml.gz2004-04-09 00:26 6.6K 
[ ]mBFadic_correct2.con.xml.gz2004-04-09 00:26 557  
[ ]mBFadic_correct2_subproof.con.body.xml.gz2004-04-09 00:26 11K 
[ ]mBFadic_correct2_subproof.con.types.xml.gz2004-04-09 00:26 8.9K 
[ ]mBFadic_correct2_subproof.con.xml.gz2004-04-09 00:26 686  
[ ]mBFadic_correct3.con.body.xml.gz2004-04-09 00:26 4.5K 
[ ]mBFadic_correct3.con.types.xml.gz2004-04-09 00:26 6.1K 
[ ]mBFadic_correct3.con.xml.gz2004-04-09 00:26 592  
[ ]mBFadic_correct3_subproof.con.body.xml.gz2004-04-09 00:26 11K 
[ ]mBFadic_correct3_subproof.con.types.xml.gz2004-04-09 00:26 8.9K 
[ ]mBFadic_correct3_subproof.con.xml.gz2004-04-09 00:26 686  
[ ]mBFadic_correct4.con.body.xml.gz2004-04-09 00:26 4.0K 
[ ]mBFadic_correct4.con.types.xml.gz2004-04-09 00:26 5.1K 
[ ]mBFadic_correct4.con.xml.gz2004-04-09 00:26 664  
[ ]mBFadic_correct4_subproof.con.body.xml.gz2004-04-09 00:26 11K 
[ ]mBFadic_correct4_subproof.con.types.xml.gz2004-04-09 00:26 8.8K 
[ ]mBFadic_correct4_subproof.con.xml.gz2004-04-09 00:26 682  
[ ]mBFloat.con.body.xml.gz2004-04-09 00:26 1.0K 
[ ]mBFloat.con.types.xml.gz2004-04-09 00:26 201  
[ ]mBFloat.con.xml.gz2004-04-09 00:26 400  
[ ]mBPadic_Fbounded.con.body.xml.gz2004-04-09 00:26 19K 
[ ]mBPadic_Fbounded.con.types.xml.gz2004-04-09 00:26 28K 
[ ]mBPadic_Fbounded.con.xml.gz2004-04-09 00:26 579  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80