Index of /xml/Coq/Reals/Raxioms

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