Index of /xml/Coq/Reals/Rtrigo_reg

	Name	Last modified	Size	Description
	Parent Directory		-
	CVN_R_cos.con.body.xml.gz	2004-04-08 01:43	86K
	CVN_R_cos.con.proof_tree.xml.gz	2004-04-09 18:52	75K
	CVN_R_cos.con.types.xml.gz	2004-04-08 01:43	83K
	CVN_R_cos.con.xml.gz	2004-04-08 01:43	904
	CVN_R_sin.con.body.xml.gz	2004-04-08 01:43	96K
	CVN_R_sin.con.proof_tree.xml.gz	2004-04-09 18:52	84K
	CVN_R_sin.con.types.xml.gz	2004-04-08 01:43	91K
	CVN_R_sin.con.xml.gz	2004-04-08 01:43	939
	INDEX	2005-07-05 08:11	834
	continuity_cos.con.body.xml.gz	2004-04-08 01:43	14K
	continuity_cos.con.proof_tree.xml.gz	2004-04-09 18:52	26K
	continuity_cos.con.types.xml.gz	2004-04-08 01:43	17K
	continuity_cos.con.xml.gz	2004-04-08 01:43	288
	continuity_sin.con.body.xml.gz	2004-04-08 01:43	8.9K
	continuity_sin.con.proof_tree.xml.gz	2004-04-09 18:52	14K
	continuity_sin.con.types.xml.gz	2004-04-08 01:43	11K
	continuity_sin.con.xml.gz	2004-04-08 01:43	289
	derivable_cos.con.body.xml.gz	2004-04-08 01:43	374
	derivable_cos.con.proof_tree.xml.gz	2004-04-09 18:52	960
	derivable_cos.con.types.xml.gz	2004-04-08 01:43	208
	derivable_cos.con.xml.gz	2004-04-08 01:43	286
	derivable_pt_cos.con.body.xml.gz	2004-04-08 01:43	534
	derivable_pt_cos.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	derivable_pt_cos.con.types.xml.gz	2004-04-08 01:43	464
	derivable_pt_cos.con.xml.gz	2004-04-08 01:43	380
	derivable_pt_lim_cos.con.body.xml.gz	2004-04-08 01:43	12K
	derivable_pt_lim_cos.con.proof_tree.xml.gz	2004-04-09 18:52	14K
	derivable_pt_lim_cos.con.types.xml.gz	2004-04-08 01:43	15K
	derivable_pt_lim_cos.con.xml.gz	2004-04-08 01:43	440
	derivable_pt_lim_cos_0.con.body.xml.gz	2004-04-08 01:43	57K
	derivable_pt_lim_cos_0.con.proof_tree.xml.gz	2004-04-09 18:52	56K
	derivable_pt_lim_cos_0.con.types.xml.gz	2004-04-08 01:43	65K
	derivable_pt_lim_cos_0.con.xml.gz	2004-04-08 01:43	324
	derivable_pt_lim_sin.con.body.xml.gz	2004-04-08 01:43	37K
	derivable_pt_lim_sin.con.proof_tree.xml.gz	2004-04-09 18:52	33K
	derivable_pt_lim_sin.con.types.xml.gz	2004-04-08 01:43	45K
	derivable_pt_lim_sin.con.xml.gz	2004-04-08 01:43	424
	derivable_pt_lim_sin_0.con.body.xml.gz	2004-04-08 01:43	34K
	derivable_pt_lim_sin_0.con.proof_tree.xml.gz	2004-04-09 18:52	50K
	derivable_pt_lim_sin_0.con.types.xml.gz	2004-04-08 01:43	48K
	derivable_pt_lim_sin_0.con.xml.gz	2004-04-08 01:43	327
	derivable_pt_sin.con.body.xml.gz	2004-04-08 01:43	510
	derivable_pt_sin.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	derivable_pt_sin.con.types.xml.gz	2004-04-08 01:43	427
	derivable_pt_sin.con.xml.gz	2004-04-08 01:43	381
	derivable_sin.con.body.xml.gz	2004-04-08 01:43	374
	derivable_sin.con.proof_tree.xml.gz	2004-04-09 18:52	960
	derivable_sin.con.types.xml.gz	2004-04-08 01:43	208
	derivable_sin.con.xml.gz	2004-04-08 01:43	286
	derive_pt_cos.con.body.xml.gz	2004-04-08 01:43	499
	derive_pt_cos.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	derive_pt_cos.con.types.xml.gz	2004-04-08 01:43	701
	derive_pt_cos.con.xml.gz	2004-04-08 01:43	506
	derive_pt_sin.con.body.xml.gz	2004-04-08 01:43	472
	derive_pt_sin.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	derive_pt_sin.con.types.xml.gz	2004-04-08 01:43	667
	derive_pt_sin.con.xml.gz	2004-04-08 01:43	492