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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Fdigit.con.body.xml.gz2004-04-09 00:24 446  
[ ]Fdigit.con.types.xml.gz2004-04-09 00:24 199  
[ ]Fdigit.con.xml.gz2004-04-09 00:24 316  
[ ]FdigitEq.con.body.xml.gz2004-04-09 00:24 8.5K 
[ ]FdigitEq.con.types.xml.gz2004-04-09 00:24 9.0K 
[ ]FdigitEq.con.xml.gz2004-04-09 00:24 676  
[ ]FdigitEq_subproof.con.body.xml.gz2004-04-09 00:24 13K 
[ ]FdigitEq_subproof.con.types.xml.gz2004-04-09 00:24 9.8K 
[ ]FdigitEq_subproof.con.xml.gz2004-04-09 00:24 1.0K 
[ ]FdigitEq_subproof0.con.body.xml.gz2004-04-09 00:24 12K 
[ ]FdigitEq_subproof0.con.types.xml.gz2004-04-09 00:24 9.6K 
[ ]FdigitEq_subproof0.con.xml.gz2004-04-09 00:24 1.0K 
[ ]FdigitEq_subproof1.con.body.xml.gz2004-04-09 00:24 13K 
[ ]FdigitEq_subproof1.con.types.xml.gz2004-04-09 00:24 9.9K 
[ ]FdigitEq_subproof1.con.xml.gz2004-04-09 00:24 1.0K 
[ ]FdigitEq_subproof2.con.body.xml.gz2004-04-09 00:24 12K 
[ ]FdigitEq_subproof2.con.types.xml.gz2004-04-09 00:24 9.6K 
[ ]FdigitEq_subproof2.con.xml.gz2004-04-09 00:24 1.0K 
[ ]Fexp.con.body.xml.gz2004-04-09 00:24 493  
[ ]Fexp.con.types.xml.gz2004-04-09 00:24 196  
[ ]Fexp.con.xml.gz2004-04-09 00:24 299  
[ ]Fnum.con.body.xml.gz2004-04-09 00:24 493  
[ ]Fnum.con.types.xml.gz2004-04-09 00:24 196  
[ ]Fnum.con.xml.gz2004-04-09 00:24 299  
[ ]Fshift.con.body.xml.gz2004-04-09 00:24 580  
[ ]Fshift.con.types.xml.gz2004-04-09 00:24 199  
[ ]Fshift.con.xml.gz2004-04-09 00:24 329  
[ ]FshiftAdd.con.body.xml.gz2004-04-09 00:24 3.7K 
[ ]FshiftAdd.con.types.xml.gz2004-04-09 00:24 4.2K 
[ ]FshiftAdd.con.xml.gz2004-04-09 00:24 561  
[ ]FshiftAdd_subproof.con.body.xml.gz2004-04-09 00:24 6.6K 
[ ]FshiftAdd_subproof.con.types.xml.gz2004-04-09 00:24 5.4K 
[ ]FshiftAdd_subproof.con.xml.gz2004-04-09 00:24 576  
[ ]FshiftCorrect.con.body.xml.gz2004-04-09 00:24 3.6K 
[ ]FshiftCorrect.con.types.xml.gz2004-04-09 00:24 3.3K 
[ ]FshiftCorrect.con.xml.gz2004-04-09 00:24 547  
[ ]FshiftCorrectInv.con.body.xml.gz2004-04-09 00:24 2.9K 
[ ]FshiftCorrectInv.con.types.xml.gz2004-04-09 00:24 3.8K 
[ ]FshiftCorrectInv.con.xml.gz2004-04-09 00:24 734  
[ ]FshiftCorrectInv_subproof.con.body.xml.gz2004-04-09 00:24 4.3K 
[ ]FshiftCorrectInv_subproof.con.types.xml.gz2004-04-09 00:24 3.9K 
[ ]FshiftCorrectInv_subproof.con.xml.gz2004-04-09 00:24 760  
[ ]FshiftCorrectSym.con.body.xml.gz2004-04-09 00:24 3.0K 
[ ]FshiftCorrectSym.con.types.xml.gz2004-04-09 00:24 2.8K 
[ ]FshiftCorrectSym.con.xml.gz2004-04-09 00:24 756  
[ ]FshiftCorrectSym_subproof.con.body.xml.gz2004-04-09 00:24 6.5K 
[ ]FshiftCorrectSym_subproof.con.types.xml.gz2004-04-09 00:24 4.8K 
[ ]FshiftCorrectSym_subproof.con.xml.gz2004-04-09 00:24 654  
[ ]FshiftCorrect_subproof.con.body.xml.gz2004-04-09 00:24 2.6K 
[ ]FshiftCorrect_subproof.con.types.xml.gz2004-04-09 00:24 2.5K 
[ ]FshiftCorrect_subproof.con.xml.gz2004-04-09 00:24 494  
[ ]FshiftFdigit.con.body.xml.gz2004-04-09 00:24 1.0K 
[ ]FshiftFdigit.con.types.xml.gz2004-04-09 00:24 1.6K 
[ ]FshiftFdigit.con.xml.gz2004-04-09 00:24 607  
[ ]FshiftO.con.body.xml.gz2004-04-09 00:24 1.0K 
[ ]FshiftO.con.types.xml.gz2004-04-09 00:24 1.5K 
[ ]FshiftO.con.xml.gz2004-04-09 00:24 459  
[ ]FshiftO_subproof.con.body.xml.gz2004-04-09 00:24 2.8K 
[ ]FshiftO_subproof.con.types.xml.gz2004-04-09 00:24 2.6K 
[ ]FshiftO_subproof.con.xml.gz2004-04-09 00:24 534  
[ ]FshiftO_subproof0.con.body.xml.gz2004-04-09 00:24 3.0K 
[ ]FshiftO_subproof0.con.types.xml.gz2004-04-09 00:24 2.7K 
[ ]FshiftO_subproof0.con.xml.gz2004-04-09 00:24 509  
[ ]FtoR.con.body.xml.gz2004-04-09 00:24 504  
[ ]FtoR.con.types.xml.gz2004-04-09 00:24 196  
[ ]FtoR.con.xml.gz2004-04-09 00:24 323  
[ ]FtoREqInv1.con.body.xml.gz2004-04-09 00:24 3.3K 
[ ]FtoREqInv1.con.types.xml.gz2004-04-09 00:24 4.9K 
[ ]FtoREqInv1.con.xml.gz2004-04-09 00:24 681  
[ ]FtoREqInv1_subproof.con.body.xml.gz2004-04-09 00:24 3.7K 
[ ]FtoREqInv1_subproof.con.types.xml.gz2004-04-09 00:24 3.3K 
[ ]FtoREqInv1_subproof.con.xml.gz2004-04-09 00:24 909  
[ ]FtoREqInv2.con.body.xml.gz2004-04-09 00:24 2.5K 
[ ]FtoREqInv2.con.types.xml.gz2004-04-09 00:24 2.2K 
[ ]FtoREqInv2.con.xml.gz2004-04-09 00:24 622  
[ ]FtoREqInv2_subproof.con.body.xml.gz2004-04-09 00:24 3.4K 
[ ]FtoREqInv2_subproof.con.types.xml.gz2004-04-09 00:24 3.1K 
[ ]FtoREqInv2_subproof.con.xml.gz2004-04-09 00:24 671  
[ ]Fzero.con.body.xml.gz2004-04-09 00:24 394  
[ ]Fzero.con.types.xml.gz2004-04-09 00:24 198  
[ ]Fzero.con.xml.gz2004-04-09 00:24 299  
[ ]FzeroisReallyZero.con.body.xml.gz2004-04-09 00:24 513  
[ ]FzeroisReallyZero.con.types.xml.gz2004-04-09 00:24 707  
[ ]FzeroisReallyZero.con.xml.gz2004-04-09 00:24 504  
[ ]INDEX2005-07-05 08:12 3.0K 
[ ]LtFnumZERO.con.body.xml.gz2004-04-09 00:24 2.1K 
[ ]LtFnumZERO.con.types.xml.gz2004-04-09 00:24 2.5K 
[ ]LtFnumZERO.con.xml.gz2004-04-09 00:24 542  
[ ]NisFzeroComp.con.body.xml.gz2004-04-09 00:24 1.0K 
[ ]NisFzeroComp.con.types.xml.gz2004-04-09 00:24 881  
[ ]NisFzeroComp.con.xml.gz2004-04-09 00:24 596  
[ ]ReqGivesEqwithSameExp.con.body.xml.gz2004-04-09 00:24 8.4K 
[ ]ReqGivesEqwithSameExp.con.types.xml.gz2004-04-09 00:24 9.2K 
[ ]ReqGivesEqwithSameExp.con.xml.gz2004-04-09 00:24 836  
[ ]ReqGivesEqwithSameExp_subproof.con.body.xml.gz2004-04-09 00:24 15K 
[ ]ReqGivesEqwithSameExp_subproof.con.types.xml.gz2004-04-09 00:24 13K 
[ ]ReqGivesEqwithSameExp_subproof.con.xml.gz2004-04-09 00:24 718  
[ ]ReqGivesEqwithSameExp_subproof0.con.body.xml.gz2004-04-09 00:24 14K 
[ ]ReqGivesEqwithSameExp_subproof0.con.types.xml.gz2004-04-09 00:24 12K 
[ ]ReqGivesEqwithSameExp_subproof0.con.xml.gz2004-04-09 00:24 720  
[ ]Rle_Float_Zle.con.body.xml.gz2004-04-09 00:24 764  
[ ]Rle_Float_Zle.con.types.xml.gz2004-04-09 00:24 1.0K 
[ ]Rle_Float_Zle.con.xml.gz2004-04-09 00:24 625  
[ ]Rle_monotone_exp.con.body.xml.gz2004-04-09 00:24 747  
[ ]Rle_monotone_exp.con.types.xml.gz2004-04-09 00:24 908  
[ ]Rle_monotone_exp.con.xml.gz2004-04-09 00:24 664  
[ ]Rle_monotony_contra_exp.con.body.xml.gz2004-04-09 00:24 1.6K 
[ ]Rle_monotony_contra_exp.con.types.xml.gz2004-04-09 00:24 1.3K 
[ ]Rle_monotony_contra_exp.con.xml.gz2004-04-09 00:24 683  
[ ]Rlt_Float_Zlt.con.body.xml.gz2004-04-09 00:24 764  
[ ]Rlt_Float_Zlt.con.types.xml.gz2004-04-09 00:24 1.0K 
[ ]Rlt_Float_Zlt.con.xml.gz2004-04-09 00:24 625  
[ ]Rlt_monotony_contra_exp.con.body.xml.gz2004-04-09 00:24 1.6K 
[ ]Rlt_monotony_contra_exp.con.types.xml.gz2004-04-09 00:24 1.3K 
[ ]Rlt_monotony_contra_exp.con.xml.gz2004-04-09 00:24 682  
[ ]Rlt_monotony_exp.con.body.xml.gz2004-04-09 00:24 746  
[ ]Rlt_monotony_exp.con.types.xml.gz2004-04-09 00:24 904  
[ ]Rlt_monotony_exp.con.xml.gz2004-04-09 00:24 663  
[DIR]definitions/2005-07-05 08:13 -  
[ ]float.ind.types.xml.gz2004-04-09 00:24 196  
[ ]float.ind.xml.gz2004-04-09 00:24 394  
[ ]floatDec.con.body.xml.gz2004-04-09 00:24 7.9K 
[ ]floatDec.con.types.xml.gz2004-04-09 00:24 4.6K 
[ ]floatDec.con.xml.gz2004-04-09 00:24 487  
[ ]floatEq.con.body.xml.gz2004-04-09 00:24 1.4K 
[ ]floatEq.con.types.xml.gz2004-04-09 00:24 2.1K 
[ ]floatEq.con.xml.gz2004-04-09 00:24 558  
[ ]float_ind.con.body.xml.gz2004-04-09 00:24 416  
[ ]float_ind.con.types.xml.gz2004-04-09 00:24 678  
[ ]float_ind.con.xml.gz2004-04-09 00:24 555  
[ ]float_rec.con.body.xml.gz2004-04-09 00:24 413  
[ ]float_rec.con.types.xml.gz2004-04-09 00:24 205  
[ ]float_rec.con.xml.gz2004-04-09 00:24 552  
[ ]float_rect.con.body.xml.gz2004-04-09 00:24 688  
[ ]float_rect.con.types.xml.gz2004-04-09 00:24 207  
[ ]float_rect.con.xml.gz2004-04-09 00:24 546  
[ ]is_Fzero.con.body.xml.gz2004-04-09 00:24 447  
[ ]is_Fzero.con.types.xml.gz2004-04-09 00:24 205  
[ ]is_Fzero.con.xml.gz2004-04-09 00:24 303  
[ ]is_FzeroP.con.body.xml.gz2004-04-09 00:24 2.2K 
[ ]is_FzeroP.con.types.xml.gz2004-04-09 00:24 2.5K 
[ ]is_FzeroP.con.xml.gz2004-04-09 00:24 443  
[ ]is_Fzero_rep1.con.body.xml.gz2004-04-09 00:24 862  
[ ]is_Fzero_rep1.con.types.xml.gz2004-04-09 00:24 1.0K 
[ ]is_Fzero_rep1.con.xml.gz2004-04-09 00:24 503  
[ ]is_Fzero_rep2.con.body.xml.gz2004-04-09 00:24 1.6K 
[ ]is_Fzero_rep2.con.types.xml.gz2004-04-09 00:24 1.8K 
[ ]is_Fzero_rep2.con.xml.gz2004-04-09 00:24 520  
[ ]is_Fzero_rep2_subproof.con.body.xml.gz2004-04-09 00:24 2.7K 
[ ]is_Fzero_rep2_subproof.con.types.xml.gz2004-04-09 00:24 2.6K 
[ ]is_Fzero_rep2_subproof.con.xml.gz2004-04-09 00:24 583  
[ ]oneExp_Zle.con.body.xml.gz2004-04-09 00:24 1.3K 
[ ]oneExp_Zle.con.types.xml.gz2004-04-09 00:24 1.3K 
[ ]oneExp_Zle.con.xml.gz2004-04-09 00:24 674  
[ ]oneExp_Zlt.con.body.xml.gz2004-04-09 00:24 1.3K 
[ ]oneExp_Zlt.con.types.xml.gz2004-04-09 00:24 1.2K 
[ ]oneExp_Zlt.con.xml.gz2004-04-09 00:24 676  
[ ]oneExp_le.con.body.xml.gz2004-04-09 00:24 1.6K 
[ ]oneExp_le.con.types.xml.gz2004-04-09 00:24 1.7K 
[ ]oneExp_le.con.xml.gz2004-04-09 00:24 668  
[ ]oneExp_lt.con.body.xml.gz2004-04-09 00:24 1.2K 
[ ]oneExp_lt.con.types.xml.gz2004-04-09 00:24 1.4K 
[ ]oneExp_lt.con.xml.gz2004-04-09 00:24 658  
[ ]sameExpEq.con.body.xml.gz2004-04-09 00:24 4.3K 
[ ]sameExpEq.con.types.xml.gz2004-04-09 00:24 4.9K 
[ ]sameExpEq.con.xml.gz2004-04-09 00:24 625  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80