Index of /xml/Coq/Reals/Raxioms

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