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

	Name	Last modified	Size	Description
	Parent Directory		-
	FinductNeg.con.body.xml.gz	2004-04-09 00:31	1.9K
	FinductNeg.con.types.xml.gz	2004-04-09 00:31	1.7K
	FinductNeg.con.xml.gz	2004-04-09 00:31	1.2K
	FinductNegAux.con.body.xml.gz	2004-04-09 00:31	7.7K
	FinductNegAux.con.types.xml.gz	2004-04-09 00:31	7.6K
	FinductNegAux.con.xml.gz	2004-04-09 00:31	1.4K
	FinductNegAux_subproof.con.body.xml.gz	2004-04-09 00:31	16K
	FinductNegAux_subproof.con.types.xml.gz	2004-04-09 00:31	12K
	FinductNegAux_subproof.con.xml.gz	2004-04-09 00:31	2.1K
	FinductPos.con.body.xml.gz	2004-04-09 00:31	1.8K
	FinductPos.con.types.xml.gz	2004-04-09 00:31	1.7K
	FinductPos.con.xml.gz	2004-04-09 00:31	1.1K
	FinductPosAux.con.body.xml.gz	2004-04-09 00:31	6.6K
	FinductPosAux.con.types.xml.gz	2004-04-09 00:31	6.7K
	FinductPosAux.con.xml.gz	2004-04-09 00:31	1.3K
	FinductPosAux_subproof.con.body.xml.gz	2004-04-09 00:31	15K
	FinductPosAux_subproof.con.types.xml.gz	2004-04-09 00:31	12K
	FinductPosAux_subproof.con.xml.gz	2004-04-09 00:31	2.0K
	Fweight.con.body.xml.gz	2004-04-09 00:31	520
	Fweight.con.types.xml.gz	2004-04-09 00:31	205
	Fweight.con.xml.gz	2004-04-09 00:31	331
	FweightEq.con.body.xml.gz	2004-04-09 00:31	1.1K
	FweightEq.con.types.xml.gz	2004-04-09 00:31	1.0K
	FweightEq.con.xml.gz	2004-04-09 00:31	764
	FweightLt.con.body.xml.gz	2004-04-09 00:31	13K
	FweightLt.con.types.xml.gz	2004-04-09 00:31	13K
	FweightLt.con.xml.gz	2004-04-09 00:31	790
	FweightLt_subproof.con.body.xml.gz	2004-04-09 00:31	12K
	FweightLt_subproof.con.types.xml.gz	2004-04-09 00:31	9.3K
	FweightLt_subproof.con.xml.gz	2004-04-09 00:31	1.1K
	FweightZle.con.body.xml.gz	2004-04-09 00:31	1.5K
	FweightZle.con.types.xml.gz	2004-04-09 00:31	1.5K
	FweightZle.con.xml.gz	2004-04-09 00:31	785
	INDEX	2005-07-05 08:12	1.0K
	finduct/	2005-07-05 08:13	-
	radixRangeBoundExp.con.body.xml.gz	2004-04-09 00:31	18K
	radixRangeBoundExp.con.types.xml.gz	2004-04-09 00:31	20K
	radixRangeBoundExp.con.xml.gz	2004-04-09 00:31	1.0K
	radixRangeBoundExp_subproof.con.body.xml.gz	2004-04-09 00:31	6.0K
	radixRangeBoundExp_subproof.con.types.xml.gz	2004-04-09 00:31	5.1K
	radixRangeBoundExp_subproof.con.xml.gz	2004-04-09 00:31	1.0K
	radixRangeBoundExp_subproof0.con.body.xml.gz	2004-04-09 00:31	9.4K
	radixRangeBoundExp_subproof0.con.types.xml.gz	2004-04-09 00:31	7.0K
	radixRangeBoundExp_subproof0.con.xml.gz	2004-04-09 00:31	1.0K
	radixRangeBoundExp_subproof1.con.body.xml.gz	2004-04-09 00:31	6.0K
	radixRangeBoundExp_subproof1.con.types.xml.gz	2004-04-09 00:31	5.1K
	radixRangeBoundExp_subproof1.con.xml.gz	2004-04-09 00:31	1.0K
	radixRangeBoundExp_subproof2.con.body.xml.gz	2004-04-09 00:31	9.4K
	radixRangeBoundExp_subproof2.con.types.xml.gz	2004-04-09 00:31	7.0K
	radixRangeBoundExp_subproof2.con.xml.gz	2004-04-09 00:31	1.0K