Index of /xml/Coq/Reals/R_Ifp

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	955
	Int_part.con.body.xml.gz	2004-04-08 01:35	444
	Int_part.con.types.xml.gz	2004-04-08 01:35	197
	Int_part.con.xml.gz	2004-04-08 01:35	311
	Int_part_INR.con.body.xml.gz	2004-04-08 01:35	4.2K
	Int_part_INR.con.proof_tree.xml.gz	2004-04-09 18:52	4.4K
	Int_part_INR.con.types.xml.gz	2004-04-08 01:35	5.3K
	Int_part_INR.con.xml.gz	2004-04-08 01:35	476
	R0_fp_O.con.body.xml.gz	2004-04-08 01:35	1.1K
	R0_fp_O.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	R0_fp_O.con.types.xml.gz	2004-04-08 01:35	1.0K
	R0_fp_O.con.xml.gz	2004-04-08 01:35	492
	Rminus_Int_part1.con.body.xml.gz	2004-04-08 01:35	65K
	Rminus_Int_part1.con.proof_tree.xml.gz	2004-04-09 18:52	16K
	Rminus_Int_part1.con.types.xml.gz	2004-04-08 01:35	56K
	Rminus_Int_part1.con.xml.gz	2004-04-08 01:35	602
	Rminus_Int_part2.con.body.xml.gz	2004-04-08 01:35	73K
	Rminus_Int_part2.con.proof_tree.xml.gz	2004-04-09 18:52	16K
	Rminus_Int_part2.con.types.xml.gz	2004-04-08 01:35	68K
	Rminus_Int_part2.con.xml.gz	2004-04-08 01:35	668
	Rminus_fp1.con.body.xml.gz	2004-04-08 01:35	6.2K
	Rminus_fp1.con.proof_tree.xml.gz	2004-04-09 18:52	3.8K
	Rminus_fp1.con.types.xml.gz	2004-04-08 01:35	6.4K
	Rminus_fp1.con.xml.gz	2004-04-08 01:35	568
	Rminus_fp2.con.body.xml.gz	2004-04-08 01:35	10K
	Rminus_fp2.con.proof_tree.xml.gz	2004-04-09 18:52	5.9K
	Rminus_fp2.con.types.xml.gz	2004-04-08 01:35	10K
	Rminus_fp2.con.xml.gz	2004-04-08 01:35	593
	base_Int_part.con.body.xml.gz	2004-04-08 01:35	9.4K
	base_Int_part.con.proof_tree.xml.gz	2004-04-09 18:52	5.8K
	base_Int_part.con.types.xml.gz	2004-04-08 01:35	10K
	base_Int_part.con.xml.gz	2004-04-08 01:35	557
	base_fp.con.body.xml.gz	2004-04-08 01:35	6.4K
	base_fp.con.proof_tree.xml.gz	2004-04-09 18:52	9.0K
	base_fp.con.types.xml.gz	2004-04-08 01:35	6.6K
	base_fp.con.xml.gz	2004-04-08 01:35	469
	for_base_fp.con.body.xml.gz	2004-04-08 01:35	1.9K
	for_base_fp.con.proof_tree.xml.gz	2004-04-09 18:52	2.3K
	for_base_fp.con.types.xml.gz	2004-04-08 01:35	2.2K
	for_base_fp.con.xml.gz	2004-04-08 01:35	552
	fp_R0.con.body.xml.gz	2004-04-08 01:35	11K
	fp_R0.con.proof_tree.xml.gz	2004-04-09 18:52	3.6K
	fp_R0.con.types.xml.gz	2004-04-08 01:35	9.6K
	fp_R0.con.xml.gz	2004-04-08 01:35	334
	fp_nat.con.body.xml.gz	2004-04-08 01:35	760
	fp_nat.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	fp_nat.con.types.xml.gz	2004-04-08 01:35	1.0K
	fp_nat.con.xml.gz	2004-04-08 01:35	568
	frac_part.con.body.xml.gz	2004-04-08 01:35	413
	frac_part.con.types.xml.gz	2004-04-08 01:35	199
	frac_part.con.xml.gz	2004-04-08 01:35	286
	plus_Int_part1.con.body.xml.gz	2004-04-08 01:35	54K
	plus_Int_part1.con.proof_tree.xml.gz	2004-04-09 18:52	11K
	plus_Int_part1.con.types.xml.gz	2004-04-08 01:35	51K
	plus_Int_part1.con.xml.gz	2004-04-08 01:35	688
	plus_Int_part2.con.body.xml.gz	2004-04-08 01:35	47K
	plus_Int_part2.con.proof_tree.xml.gz	2004-04-09 18:52	11K
	plus_Int_part2.con.types.xml.gz	2004-04-08 01:35	42K
	plus_Int_part2.con.xml.gz	2004-04-08 01:35	616
	plus_frac_part1.con.body.xml.gz	2004-04-08 01:35	7.5K
	plus_frac_part1.con.proof_tree.xml.gz	2004-04-09 18:52	4.9K
	plus_frac_part1.con.types.xml.gz	2004-04-08 01:35	7.8K
	plus_frac_part1.con.xml.gz	2004-04-08 01:35	632
	plus_frac_part2.con.body.xml.gz	2004-04-08 01:35	5.1K
	plus_frac_part2.con.proof_tree.xml.gz	2004-04-09 18:52	3.7K
	plus_frac_part2.con.types.xml.gz	2004-04-08 01:35	5.6K
	plus_frac_part2.con.xml.gz	2004-04-08 01:35	594
	tech_up.con.body.xml.gz	2004-04-08 01:35	4.4K
	tech_up.con.proof_tree.xml.gz	2004-04-09 18:52	3.3K
	tech_up.con.types.xml.gz	2004-04-08 01:35	4.0K
	tech_up.con.xml.gz	2004-04-08 01:35	576
	up_tech.con.body.xml.gz	2004-04-08 01:35	3.2K
	up_tech.con.proof_tree.xml.gz	2004-04-09 18:52	4.3K
	up_tech.con.types.xml.gz	2004-04-08 01:35	3.3K
	up_tech.con.xml.gz	2004-04-08 01:35	670