Index of /xml/Coq/Reals/AltSeries

	Name	Last modified	Size	Description
	Parent Directory		-
	PI_tg_cv.con.body.xml.gz	2004-04-08 01:36	46K
	PI_tg_cv.con.types.xml.gz	2004-04-08 01:36	45K
	PI_tg_cv.con.proof_tree.xml.gz	2004-04-09 18:52	43K
	CV_ALT_step2.con.types.xml.gz	2004-04-08 01:36	31K
	CV_ALT_step2.con.body.xml.gz	2004-04-08 01:36	30K
	CV_ALT.con.proof_tree.xml.gz	2004-04-09 18:52	25K
	CV_ALT.con.types.xml.gz	2004-04-08 01:36	23K
	CV_ALT.con.body.xml.gz	2004-04-08 01:36	22K
	CV_ALT_step0.con.types.xml.gz	2004-04-08 01:36	21K
	PI_tg_decreasing.con.types.xml.gz	2004-04-08 01:36	19K
	PI_tg_decreasing.con.body.xml.gz	2004-04-08 01:36	19K
	CV_ALT_step0.con.body.xml.gz	2004-04-08 01:36	17K
	CV_ALT_step1.con.types.xml.gz	2004-04-08 01:36	17K
	alternated_series_ineq.con.proof_tree.xml.gz	2004-04-09 18:52	16K
	CV_ALT_step1.con.body.xml.gz	2004-04-08 01:36	13K
	PI_tg_decreasing.con.proof_tree.xml.gz	2004-04-09 18:52	13K
	alternated_series_ineq.con.types.xml.gz	2004-04-08 01:36	12K
	CV_ALT_step0.con.proof_tree.xml.gz	2004-04-09 18:52	11K
	CV_ALT_step3.con.types.xml.gz	2004-04-08 01:36	11K
	CV_ALT_step3.con.body.xml.gz	2004-04-08 01:36	11K
	PI_RGT_0.con.proof_tree.xml.gz	2004-04-09 18:52	9.3K
	CV_ALT_step1.con.proof_tree.xml.gz	2004-04-09 18:52	9.1K
	PI_ineq.con.types.xml.gz	2004-04-08 01:36	8.2K
	alternated_series_ineq.con.body.xml.gz	2004-04-08 01:36	8.2K
	PI_ineq.con.proof_tree.xml.gz	2004-04-09 18:52	7.8K
	PI_RGT_0.con.body.xml.gz	2004-04-08 01:36	6.2K
	CV_ALT_step4.con.proof_tree.xml.gz	2004-04-09 18:52	6.1K
	PI_ineq.con.body.xml.gz	2004-04-08 01:36	5.9K
	PI_RGT_0.con.types.xml.gz	2004-04-08 01:36	5.8K
	CV_ALT_step4.con.types.xml.gz	2004-04-08 01:36	4.3K
	CV_ALT_step4.con.body.xml.gz	2004-04-08 01:36	4.1K
	PI_tg_pos.con.types.xml.gz	2004-04-08 01:36	2.5K
	PI_tg_pos.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	PI_tg_pos.con.body.xml.gz	2004-04-08 01:36	2.0K
	alternated_series.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	exist_PI.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	CV_ALT_step2.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	CV_ALT_step3.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	alternated_series_ineq.con.xml.gz	2004-04-08 01:36	1.0K
	PI.con.body.xml.gz	2004-04-08 01:36	953
	INDEX	2005-07-05 08:11	898
	PI_ineq.con.xml.gz	2004-04-08 01:36	820
	CV_ALT.con.xml.gz	2004-04-08 01:36	792
	alternated_series.con.xml.gz	2004-04-08 01:36	765
	CV_ALT_step2.con.xml.gz	2004-04-08 01:36	754
	CV_ALT_step0.con.xml.gz	2004-04-08 01:36	714
	CV_ALT_step4.con.xml.gz	2004-04-08 01:36	708
	CV_ALT_step3.con.xml.gz	2004-04-08 01:36	678
	alternated_series.con.body.xml.gz	2004-04-08 01:36	666
	CV_ALT_step1.con.xml.gz	2004-04-08 01:36	648
	exist_PI.con.xml.gz	2004-04-08 01:36	570
	PI_tg.con.body.xml.gz	2004-04-08 01:36	522
	alternated_series.con.types.xml.gz	2004-04-08 01:36	513
	tg_alt.con.body.xml.gz	2004-04-08 01:36	509
	positivity_seq.con.body.xml.gz	2004-04-08 01:36	493
	PI_tg_pos.con.xml.gz	2004-04-08 01:36	412
	positivity_seq.con.xml.gz	2004-04-08 01:36	360
	tg_alt.con.xml.gz	2004-04-08 01:36	349
	PI_tg_cv.con.xml.gz	2004-04-08 01:36	334
	exist_PI.con.body.xml.gz	2004-04-08 01:36	315
	PI_tg.con.xml.gz	2004-04-08 01:36	306
	PI_tg_decreasing.con.xml.gz	2004-04-08 01:36	294
	PI_RGT_0.con.xml.gz	2004-04-08 01:36	288
	PI.con.xml.gz	2004-04-08 01:36	227
	positivity_seq.con.types.xml.gz	2004-04-08 01:36	209
	exist_PI.con.types.xml.gz	2004-04-08 01:36	200
	tg_alt.con.types.xml.gz	2004-04-08 01:36	196
	PI_tg.con.types.xml.gz	2004-04-08 01:36	195
	PI.con.types.xml.gz	2004-04-08 01:36	189