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

	Name	Last modified	Size	Description
	Parent Directory		-
	ClosestErrorBound.con.body.xml.gz	2004-04-09 00:32	11K
	ClosestErrorBound.con.types.xml.gz	2004-04-09 00:32	14K
	ClosestErrorBound.con.xml.gz	2004-04-09 00:32	1.0K
	ClosestErrorBound2.con.body.xml.gz	2004-04-09 00:32	33K
	ClosestErrorBound2.con.types.xml.gz	2004-04-09 00:32	39K
	ClosestErrorBound2.con.xml.gz	2004-04-09 00:32	1.1K
	ClosestErrorBound2_subproof.con.body.xml.gz	2004-04-09 00:32	4.7K
	ClosestErrorBound2_subproof.con.types.xml.gz	2004-04-09 00:32	4.1K
	ClosestErrorBound2_subproof.con.xml.gz	2004-04-09 00:32	809
	ClosestErrorBound2_subproof0.con.body.xml.gz	2004-04-09 00:32	4.7K
	ClosestErrorBound2_subproof0.con.types.xml.gz	2004-04-09 00:32	4.1K
	ClosestErrorBound2_subproof0.con.xml.gz	2004-04-09 00:32	811
	ClosestErrorBound2_subproof1.con.body.xml.gz	2004-04-09 00:32	4.7K
	ClosestErrorBound2_subproof1.con.types.xml.gz	2004-04-09 00:32	4.1K
	ClosestErrorBound2_subproof1.con.xml.gz	2004-04-09 00:32	811
	ClosestErrorExp.con.body.xml.gz	2004-04-09 00:32	19K
	ClosestErrorExp.con.types.xml.gz	2004-04-09 00:32	22K
	ClosestErrorExp.con.xml.gz	2004-04-09 00:32	1.2K
	ClosestErrorExpStrict.con.body.xml.gz	2004-04-09 00:32	5.7K
	ClosestErrorExpStrict.con.types.xml.gz	2004-04-09 00:32	6.6K
	ClosestErrorExpStrict.con.xml.gz	2004-04-09 00:32	939
	ClosestErrorExp_subproof.con.body.xml.gz	2004-04-09 00:32	5.0K
	ClosestErrorExp_subproof.con.types.xml.gz	2004-04-09 00:32	4.2K
	ClosestErrorExp_subproof.con.xml.gz	2004-04-09 00:32	1.0K
	ClosestErrorExp_subproof0.con.body.xml.gz	2004-04-09 00:32	6.1K
	ClosestErrorExp_subproof0.con.types.xml.gz	2004-04-09 00:32	5.2K
	ClosestErrorExp_subproof0.con.xml.gz	2004-04-09 00:32	1.0K
	ClosestExp.con.body.xml.gz	2004-04-09 00:32	2.6K
	ClosestExp.con.types.xml.gz	2004-04-09 00:32	3.1K
	ClosestExp.con.xml.gz	2004-04-09 00:32	855
	ClosestFabs.con.body.xml.gz	2004-04-09 00:32	4.4K
	ClosestFabs.con.types.xml.gz	2004-04-09 00:32	5.0K
	ClosestFabs.con.xml.gz	2004-04-09 00:32	655
	ClosestIdem.con.body.xml.gz	2004-04-09 00:32	9.3K
	ClosestIdem.con.types.xml.gz	2004-04-09 00:32	14K
	ClosestIdem.con.xml.gz	2004-04-09 00:32	662
	ClosestM1.con.body.xml.gz	2004-04-09 00:32	7.8K
	ClosestM1.con.types.xml.gz	2004-04-09 00:32	8.1K
	ClosestM1.con.xml.gz	2004-04-09 00:32	1.0K
	ClosestOpp.con.body.xml.gz	2004-04-09 00:32	8.8K
	ClosestOpp.con.types.xml.gz	2004-04-09 00:32	10K
	ClosestOpp.con.xml.gz	2004-04-09 00:32	602
	ClosestUlp.con.body.xml.gz	2004-04-09 00:32	27K
	ClosestUlp.con.types.xml.gz	2004-04-09 00:32	29K
	ClosestUlp.con.xml.gz	2004-04-09 00:32	868
	Fclosestp/	2005-07-05 08:13	-
	FmultRadixInv.con.body.xml.gz	2004-04-09 00:32	11K
	FmultRadixInv.con.types.xml.gz	2004-04-09 00:32	13K
	FmultRadixInv.con.xml.gz	2004-04-09 00:32	941
	INDEX	2005-07-05 08:12	1.0K