Index of /xml/Coq/Reals/Rtrigo_alt

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	319
	PI_4.con.body.xml.gz	2004-04-08 01:38	5.4K
	PI_4.con.proof_tree.xml.gz	2004-04-09 18:52	7.1K
	PI_4.con.types.xml.gz	2004-04-08 01:38	5.4K
	PI_4.con.xml.gz	2004-04-08 01:38	346
	cos_approx.con.body.xml.gz	2004-04-08 01:38	448
	cos_approx.con.types.xml.gz	2004-04-08 01:38	203
	cos_approx.con.xml.gz	2004-04-08 01:38	326
	cos_bound.con.body.xml.gz	2004-04-08 01:38	164K
	cos_bound.con.proof_tree.xml.gz	2004-04-09 18:52	131K
	cos_bound.con.types.xml.gz	2004-04-08 01:38	185K
	cos_bound.con.xml.gz	2004-04-08 01:38	906
	cos_term.con.body.xml.gz	2004-04-08 01:38	681
	cos_term.con.types.xml.gz	2004-04-08 01:38	200
	cos_term.con.xml.gz	2004-04-08 01:38	322
	sin_approx.con.body.xml.gz	2004-04-08 01:38	448
	sin_approx.con.types.xml.gz	2004-04-08 01:38	203
	sin_approx.con.xml.gz	2004-04-08 01:38	326
	sin_bound.con.body.xml.gz	2004-04-08 01:38	195K
	sin_bound.con.proof_tree.xml.gz	2004-04-09 18:52	144K
	sin_bound.con.types.xml.gz	2004-04-08 01:38	215K
	sin_bound.con.xml.gz	2004-04-08 01:38	825
	sin_term.con.body.xml.gz	2004-04-08 01:38	749
	sin_term.con.types.xml.gz	2004-04-08 01:38	200
	sin_term.con.xml.gz	2004-04-08 01:38	323