Index of /~mptp/7.13.01_4.181.1147/html.std/proofs/bor_cant

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2012-03-20 21:47	99K
	3	2012-03-20 21:47	153K
	4_1_1	2012-03-20 21:47	5.2K
	4_1_2	2012-03-20 21:47	6.8K
	5	2012-03-20 21:47	31K
	6	2012-03-20 21:47	79K
	7_1_1	2012-03-20 21:47	2.7K
	7_1_2	2012-03-20 21:47	7.1K
	8_1_1	2012-03-20 21:47	4.3K
	8_1_2	2012-03-20 21:47	5.7K
	9_1_1	2012-03-20 21:47	2.4K
	9_1_2	2012-03-20 21:47	6.1K
	10_1_1	2012-03-20 21:47	2.9K
	10_1_2	2012-03-20 21:47	7.8K
	11_1_1	2012-03-20 21:47	34K
	11_2_1	2012-03-20 21:47	39K
	12_1_1	2012-03-20 21:47	7.4K
	14	2012-03-20 21:47	293K
	16	2012-03-20 21:47	690K
	17	2012-03-20 21:47	29K
	18	2012-03-20 21:47	14K
	19_1_1	2012-03-20 21:47	37K
	19_1_2	2012-03-20 21:47	7.8K
	20_1_1	2012-03-20 21:47	6.4K
	22_1_1	2012-03-20 21:47	37K
	22_1_2	2012-03-20 21:47	7.9K
	23_1_1	2012-03-20 21:47	8.5K
	25	2012-03-20 21:47	35K
	26	2012-03-20 21:47	83K
	27	2012-03-20 21:47	33K
	28_1_1	2012-03-20 21:47	5.4K
	28_1_2	2012-03-20 21:47	7.8K
	29	2012-03-20 21:47	295K
	30	2012-03-20 21:47	148K
	31	2012-03-20 21:47	121K
	32	2012-03-20 21:48	358K
	33	2012-03-20 21:48	18K
	34	2012-03-20 21:48	22K
	35	2012-03-20 21:48	67K
	36	2012-03-20 21:48	14K
	37	2012-03-20 21:48	30K