Index of /xml/Sophia-Antipolis/Float/FroundProp
Name
Last modified
Size
Description
Parent Directory
-
PminPos.con.types.xml.gz
2004-04-09 00:31
85K
PminPos.con.body.xml.gz
2004-04-09 00:31
76K
div2IsBetweenPos.con.types.xml.gz
2004-04-09 00:31
42K
roundedModeMoreMult.con.types.xml.gz
2004-04-09 00:31
39K
div2IsBetweenPos.con.body.xml.gz
2004-04-09 00:31
39K
roundedModeMoreMult.con.body.xml.gz
2004-04-09 00:31
38K
InBinade.con.types.xml.gz
2004-04-09 00:31
32K
roundedModeLessMult.con.types.xml.gz
2004-04-09 00:31
31K
roundedModeLessMult.con.body.xml.gz
2004-04-09 00:31
29K
InBinade.con.body.xml.gz
2004-04-09 00:31
28K
RoundMSBmin.con.types.xml.gz
2004-04-09 00:31
26K
MSBBoundNotZero.con.types.xml.gz
2004-04-09 00:31
22K
RoundedModeUlp.con.types.xml.gz
2004-04-09 00:31
20K
MSBBoundNotZero.con.body.xml.gz
2004-04-09 00:31
19K
RoundedModeUlp.con.body.xml.gz
2004-04-09 00:31
18K
div2IsBetween.con.types.xml.gz
2004-04-09 00:31
17K
div2IsBetween.con.body.xml.gz
2004-04-09 00:31
15K
RoundMSBmin.con.body.xml.gz
2004-04-09 00:31
14K
FulpLe_subproof.con.body.xml.gz
2004-04-09 00:30
11K
RoundedModeMultAbs.con.types.xml.gz
2004-04-09 00:31
11K
FUlp_Le_LSigB.con.types.xml.gz
2004-04-09 00:31
10K
RoundedModeMultAbs.con.body.xml.gz
2004-04-09 00:31
10K
RoundedModeMult.con.types.xml.gz
2004-04-09 00:31
9.3K
RoundedModeMultLess.con.types.xml.gz
2004-04-09 00:31
9.0K
FulpLe_subproof.con.types.xml.gz
2004-04-09 00:30
8.9K
InBinade_subproof.con.body.xml.gz
2004-04-09 00:31
8.2K
FulpPredCan.con.body.xml.gz
2004-04-09 00:30
8.2K
MSBisMin.con.types.xml.gz
2004-04-09 00:31
8.1K
FulpSucCan.con.body.xml.gz
2004-04-09 00:30
8.1K
FulpPredCan.con.types.xml.gz
2004-04-09 00:30
7.9K
MSBBoundNotZero_subproof2.con.body.xml.gz
2004-04-09 00:31
7.8K
RoundedModeMultLess.con.body.xml.gz
2004-04-09 00:31
7.8K
MSBBoundNotZero_subproof.con.body.xml.gz
2004-04-09 00:31
7.8K
MSBBoundNotZero_subproof1.con.body.xml.gz
2004-04-09 00:31
7.8K
MSBBoundNotZero_subproof0.con.body.xml.gz
2004-04-09 00:31
7.8K
RoundedModeMult.con.body.xml.gz
2004-04-09 00:31
7.6K
FulpSucCan.con.types.xml.gz
2004-04-09 00:30
7.6K
InBinade_subproof0.con.body.xml.gz
2004-04-09 00:31
7.6K
RoundMSBmax_subproof.con.body.xml.gz
2004-04-09 00:31
7.5K
RoundMSBmin_subproof.con.body.xml.gz
2004-04-09 00:31
7.5K
MSBisMin.con.body.xml.gz
2004-04-09 00:31
7.5K
roundedModeMoreMult_subproof0.con.body.xml.gz
2004-04-09 00:31
7.4K
roundedModeMoreMult_subproof.con.body.xml.gz
2004-04-09 00:31
7.4K
roundedModeLessMult_subproof.con.body.xml.gz
2004-04-09 00:31
7.4K
roundedModeLessMult_subproof0.con.body.xml.gz
2004-04-09 00:31
7.4K
roundedModeAbsMult.con.body.xml.gz
2004-04-09 00:31
7.4K
roundedModeAbsMult.con.types.xml.gz
2004-04-09 00:31
7.3K
InBinade_subproof.con.types.xml.gz
2004-04-09 00:31
6.7K
FulpLe.con.types.xml.gz
2004-04-09 00:30
6.6K
roundedModeMoreMult_subproof0.con.types.xml.gz
2004-04-09 00:31
6.4K
roundedModeMoreMult_subproof.con.types.xml.gz
2004-04-09 00:31
6.4K
roundedModeLessMult_subproof.con.types.xml.gz
2004-04-09 00:31
6.3K
roundedModeLessMult_subproof0.con.types.xml.gz
2004-04-09 00:31
6.3K
FUlp_Le_LSigB.con.body.xml.gz
2004-04-09 00:31
6.3K
InBinade_subproof0.con.types.xml.gz
2004-04-09 00:31
6.2K
isMaxComp.con.types.xml.gz
2004-04-09 00:31
6.2K
isMinComp.con.types.xml.gz
2004-04-09 00:31
6.2K
MSBBoundNotZero_subproof2.con.types.xml.gz
2004-04-09 00:31
6.1K
MSBBoundNotZero_subproof0.con.types.xml.gz
2004-04-09 00:31
6.1K
MSBBoundNotZero_subproof.con.types.xml.gz
2004-04-09 00:31
6.1K
MSBBoundNotZero_subproof1.con.types.xml.gz
2004-04-09 00:31
6.1K
isMaxComp.con.body.xml.gz
2004-04-09 00:31
6.1K
isMinComp.con.body.xml.gz
2004-04-09 00:31
6.1K
RoundedModeErrorExpStrict_subproof.con.body.xml.gz
2004-04-09 00:31
6.0K
PminPos_subproof.con.body.xml.gz
2004-04-09 00:31
6.0K
RoundMSBmin_subproof.con.types.xml.gz
2004-04-09 00:31
5.9K
RoundMSBmax_subproof.con.types.xml.gz
2004-04-09 00:31
5.9K
Fulp_zero.con.types.xml.gz
2004-04-09 00:30
5.7K
roundedModeMoreMult_subproof1.con.body.xml.gz
2004-04-09 00:31
5.6K
roundedModeLessMult_subproof1.con.body.xml.gz
2004-04-09 00:31
5.6K
FulpSucCan_subproof.con.body.xml.gz
2004-04-09 00:30
5.6K
RoundedModeErrorExpStrict_subproof.con.types.xml.gz
2004-04-09 00:31
5.2K
RoundedModeErrorExpStrict.con.types.xml.gz
2004-04-09 00:31
5.0K
PminPos_subproof.con.types.xml.gz
2004-04-09 00:31
4.9K
RoundedModeErrorExpStrict.con.body.xml.gz
2004-04-09 00:31
4.9K
RoundLSBMax.con.types.xml.gz
2004-04-09 00:31
4.8K
FulpSucCan_subproof.con.types.xml.gz
2004-04-09 00:30
4.8K
roundedModeMoreMult_subproof1.con.types.xml.gz
2004-04-09 00:31
4.7K
roundedModeLessMult_subproof1.con.types.xml.gz
2004-04-09 00:31
4.7K
RleMinR0.con.types.xml.gz
2004-04-09 00:31
4.0K
RoundLSBMax.con.body.xml.gz
2004-04-09 00:31
3.9K
RleMaxR0.con.types.xml.gz
2004-04-09 00:31
3.9K
RoundMSBmax.con.types.xml.gz
2004-04-09 00:31
3.9K
RoundMSBmax.con.body.xml.gz
2004-04-09 00:31
3.8K
RleMaxR0.con.body.xml.gz
2004-04-09 00:31
3.8K
MSBtoZero.con.body.xml.gz
2004-04-09 00:31
3.8K
RleMinR0.con.body.xml.gz
2004-04-09 00:31
3.8K
RoundAbsMonotonel.con.body.xml.gz
2004-04-09 00:31
3.7K
RoundAbsMonotoner.con.body.xml.gz
2004-04-09 00:31
3.7K
MSBtoZero.con.types.xml.gz
2004-04-09 00:31
3.6K
ZroundZ.con.types.xml.gz
2004-04-09 00:31
3.6K
RoundedModeBounded.con.types.xml.gz
2004-04-09 00:31
3.6K
INDEX
2005-07-05 08:12
3.6K
FulpLe.con.body.xml.gz
2004-04-09 00:30
3.6K
RoundAbsMonotonel.con.types.xml.gz
2004-04-09 00:31
3.1K
RleBoundRoundl.con.types.xml.gz
2004-04-09 00:31
3.1K
RoundAbsMonotoner.con.types.xml.gz
2004-04-09 00:31
3.1K
NroundN.con.body.xml.gz
2004-04-09 00:31
3.1K
RleBoundRoundr.con.types.xml.gz
2004-04-09 00:31
3.0K
NroundN.con.types.xml.gz
2004-04-09 00:31
3.0K
RoundedModeBounded.con.body.xml.gz
2004-04-09 00:31
3.0K
ZroundZ.con.body.xml.gz
2004-04-09 00:31
2.9K
RoundedModeProjectorIdem.con.types.xml.gz
2004-04-09 00:31
2.9K
FulpComp.con.body.xml.gz
2004-04-09 00:30
2.7K
Fulp_zero.con.body.xml.gz
2004-04-09 00:30
2.6K
RoundedModeProjectorIdem.con.body.xml.gz
2004-04-09 00:31
2.6K
FulpComp.con.types.xml.gz
2004-04-09 00:30
2.6K
RleBoundRoundl.con.body.xml.gz
2004-04-09 00:31
2.6K
FulpPred.con.types.xml.gz
2004-04-09 00:30
2.5K
FulpSuc.con.types.xml.gz
2004-04-09 00:30
2.5K
RleBoundRoundr.con.body.xml.gz
2004-04-09 00:31
2.5K
RleRoundedLessR0.con.types.xml.gz
2004-04-09 00:31
2.4K
RleRoundedR0.con.types.xml.gz
2004-04-09 00:31
2.4K
RoundedModeProjectorIdemEq.con.types.xml.gz
2004-04-09 00:31
2.4K
RleRoundedR0.con.body.xml.gz
2004-04-09 00:31
2.4K
RleRoundedLessR0.con.body.xml.gz
2004-04-09 00:31
2.4K
roundedModeLessMult_subproof.con.xml.gz
2004-04-09 00:31
2.3K
roundedModeMoreMult_subproof.con.xml.gz
2004-04-09 00:31
2.3K
roundedModeLessMult_subproof0.con.xml.gz
2004-04-09 00:31
2.3K
roundedModeMoreMult_subproof0.con.xml.gz
2004-04-09 00:31
2.3K
FulpPred.con.body.xml.gz
2004-04-09 00:30
2.2K
FulpSuc.con.body.xml.gz
2004-04-09 00:30
2.1K
RoundedModeProjectorIdemEq.con.body.xml.gz
2004-04-09 00:31
2.1K
InBinade_subproof.con.xml.gz
2004-04-09 00:31
2.0K
roundedModeMoreMult_subproof1.con.xml.gz
2004-04-09 00:31
1.6K
InBinade.con.xml.gz
2004-04-09 00:31
1.5K
roundedModeLessMult_subproof1.con.xml.gz
2004-04-09 00:31
1.5K
InBinade_subproof0.con.xml.gz
2004-04-09 00:31
1.5K
PminPos_subproof.con.xml.gz
2004-04-09 00:31
1.4K
MSBBoundNotZero_subproof.con.xml.gz
2004-04-09 00:31
1.3K
MSBBoundNotZero_subproof2.con.xml.gz
2004-04-09 00:31
1.3K
MSBBoundNotZero_subproof1.con.xml.gz
2004-04-09 00:31
1.3K
MSBBoundNotZero_subproof0.con.xml.gz
2004-04-09 00:31
1.2K
div2IsBetweenPos.con.xml.gz
2004-04-09 00:31
1.1K
PminPos.con.xml.gz
2004-04-09 00:31
1.0K
RoundedModeErrorExpStrict.con.xml.gz
2004-04-09 00:31
1.0K
div2IsBetween.con.xml.gz
2004-04-09 00:31
1.0K
RoundedModeErrorExpStrict_subproof.con.xml.gz
2004-04-09 00:31
1.0K
roundedModeAbsMult.con.xml.gz
2004-04-09 00:31
1.0K
RoundMSBmax.con.xml.gz
2004-04-09 00:31
1.0K
MSBBoundNotZero.con.xml.gz
2004-04-09 00:31
1.0K
RoundMSBmin_subproof.con.xml.gz
2004-04-09 00:31
1.0K
RoundMSBmax_subproof.con.xml.gz
2004-04-09 00:31
1.0K
RoundMSBmin.con.xml.gz
2004-04-09 00:31
1.0K
roundedModeMoreMult.con.xml.gz
2004-04-09 00:31
1.0K
roundedModeLessMult.con.xml.gz
2004-04-09 00:31
1.0K
RoundedModeMultAbs.con.xml.gz
2004-04-09 00:31
953
FulpLe_subproof.con.xml.gz
2004-04-09 00:30
933
RoundedModeMultLess.con.xml.gz
2004-04-09 00:31
890
RoundedModeMult.con.xml.gz
2004-04-09 00:31
888
RoundAbsMonotoner.con.xml.gz
2004-04-09 00:31
879
RoundAbsMonotonel.con.xml.gz
2004-04-09 00:31
878
ZroundZ.con.xml.gz
2004-04-09 00:31
864
NroundN.con.xml.gz
2004-04-09 00:31
857
RoundedModeProjectorIdemEq.con.xml.gz
2004-04-09 00:31
853
RoundLSBMax.con.xml.gz
2004-04-09 00:31
847
MSBisMin.con.xml.gz
2004-04-09 00:31
847
RleBoundRoundl.con.xml.gz
2004-04-09 00:31
840
RleBoundRoundr.con.xml.gz
2004-04-09 00:31
836
RoundedModeUlp.con.xml.gz
2004-04-09 00:31
805
MSBtoZero.con.xml.gz
2004-04-09 00:31
797
FulpPredCan.con.xml.gz
2004-04-09 00:30
761
isMinComp.con.xml.gz
2004-04-09 00:31
759
RleRoundedLessR0.con.xml.gz
2004-04-09 00:31
759
isMaxComp.con.xml.gz
2004-04-09 00:31
756
FulpSucCan.con.xml.gz
2004-04-09 00:30
755
RleRoundedR0.con.xml.gz
2004-04-09 00:31
750
FUlp_Le_LSigB.con.xml.gz
2004-04-09 00:31
729
FulpPred.con.xml.gz
2004-04-09 00:30
702
FulpSuc.con.xml.gz
2004-04-09 00:30
701
RoundedModeProjectorIdem.con.xml.gz
2004-04-09 00:31
686
FulpComp.con.xml.gz
2004-04-09 00:30
679
RoundedModeBounded.con.xml.gz
2004-04-09 00:31
661
RleMaxR0.con.xml.gz
2004-04-09 00:31
661
RleMinR0.con.xml.gz
2004-04-09 00:31
659
Fulp_zero.con.xml.gz
2004-04-09 00:30
648
FulpLe.con.xml.gz
2004-04-09 00:30
644
FulpSucCan_subproof.con.xml.gz
2004-04-09 00:30
617
Fulp.con.body.xml.gz
2004-04-09 00:30
569
Fulp.con.xml.gz
2004-04-09 00:30
349
Fulp.con.types.xml.gz
2004-04-09 00:30
202
FRoundP/
2005-07-05 08:13
-
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80