Index of /xml/Coq/Reals/DiscrR

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	184
	IZR_eq.con.body.xml.gz	2004-04-08 01:35	682
	IZR_eq.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	IZR_eq.con.types.xml.gz	2004-04-08 01:35	649
	IZR_eq.con.xml.gz	2004-04-08 01:35	501
	IZR_neq.con.body.xml.gz	2004-04-08 01:35	661
	IZR_neq.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	IZR_neq.con.types.xml.gz	2004-04-08 01:35	882
	IZR_neq.con.xml.gz	2004-04-08 01:35	533
	Rlt_R0_R2.con.body.xml.gz	2004-04-08 01:35	742
	Rlt_R0_R2.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Rlt_R0_R2.con.types.xml.gz	2004-04-08 01:35	613
	Rlt_R0_R2.con.xml.gz	2004-04-08 01:35	307
	Rplus_lt_pos.con.body.xml.gz	2004-04-08 01:35	801
	Rplus_lt_pos.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	Rplus_lt_pos.con.types.xml.gz	2004-04-08 01:35	734
	Rplus_lt_pos.con.xml.gz	2004-04-08 01:35	471