Index of /xml/Coq/Reals/Raxioms

	Name	Last modified	Size	Description
	Parent Directory		-
	INR.con.body.xml.gz	2004-04-08 01:34	806
	INDEX	2005-07-05 08:11	650
	IZR.con.body.xml.gz	2004-04-08 01:34	635
	completeness.con.xml.gz	2004-04-08 01:34	599
	is_lub.con.body.xml.gz	2004-04-08 01:34	592
	Rmult_plus_distr_l.con.xml.gz	2004-04-08 01:34	545
	archimed.con.xml.gz	2004-04-08 01:34	521
	Rmult_lt_compat_l.con.xml.gz	2004-04-08 01:34	516
	total_order_T.con.xml.gz	2004-04-08 01:34	515
	Rplus_assoc.con.xml.gz	2004-04-08 01:34	515
	Rmult_assoc.con.xml.gz	2004-04-08 01:34	515
	is_upper_bound.con.body.xml.gz	2004-04-08 01:34	501
	bound.con.body.xml.gz	2004-04-08 01:34	501
	Rinv_l.con.xml.gz	2004-04-08 01:34	489
	Rplus_lt_compat_l.con.xml.gz	2004-04-08 01:34	485
	Rplus_comm.con.xml.gz	2004-04-08 01:34	451
	Rmult_comm.con.xml.gz	2004-04-08 01:34	451
	Rlt_trans.con.xml.gz	2004-04-08 01:34	449
	Rplus_opp_r.con.xml.gz	2004-04-08 01:34	437
	Rlt_asym.con.xml.gz	2004-04-08 01:34	433
	Rplus_0_l.con.xml.gz	2004-04-08 01:34	411
	Rmult_1_l.con.xml.gz	2004-04-08 01:34	411
	is_upper_bound.con.xml.gz	2004-04-08 01:34	346
	is_lub.con.xml.gz	2004-04-08 01:34	334
	R1_neq_R0.con.xml.gz	2004-04-08 01:34	328
	bound.con.xml.gz	2004-04-08 01:34	313
	IZR.con.xml.gz	2004-04-08 01:34	303
	INR.con.xml.gz	2004-04-08 01:34	301
	Rmult_plus_distr_l.con.types.xml.gz	2004-04-08 01:34	216
	Rplus_lt_compat_l.con.types.xml.gz	2004-04-08 01:34	214
	Rmult_lt_compat_l.con.types.xml.gz	2004-04-08 01:34	211
	is_upper_bound.con.types.xml.gz	2004-04-08 01:34	208
	total_order_T.con.types.xml.gz	2004-04-08 01:34	206
	Rplus_opp_r.con.types.xml.gz	2004-04-08 01:34	204
	completeness.con.types.xml.gz	2004-04-08 01:34	203
	Rplus_assoc.con.types.xml.gz	2004-04-08 01:34	203
	Rmult_assoc.con.types.xml.gz	2004-04-08 01:34	203
	Rplus_comm.con.types.xml.gz	2004-04-08 01:34	202
	Rmult_comm.con.types.xml.gz	2004-04-08 01:34	201
	Rplus_0_l.con.types.xml.gz	2004-04-08 01:34	200
	Rmult_1_l.con.types.xml.gz	2004-04-08 01:34	200
	Rlt_trans.con.types.xml.gz	2004-04-08 01:34	200
	R1_neq_R0.con.types.xml.gz	2004-04-08 01:34	200
	Rlt_asym.con.types.xml.gz	2004-04-08 01:34	198
	archimed.con.types.xml.gz	2004-04-08 01:34	197
	is_lub.con.types.xml.gz	2004-04-08 01:34	195
	Rinv_l.con.types.xml.gz	2004-04-08 01:34	195
	bound.con.types.xml.gz	2004-04-08 01:34	192
	IZR.con.types.xml.gz	2004-04-08 01:34	189
	INR.con.types.xml.gz	2004-04-08 01:34	189