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

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2012-03-20 21:47	4.0K
	1_1_2	2012-03-20 21:47	6.1K
	2_1_1	2012-03-20 21:47	1.1K
	6_1_1	2012-03-20 21:47	2.2K
	7	2012-03-20 21:47	5.9K
	8	2012-03-20 21:47	1.1K
	9	2012-03-20 21:47	19K
	10	2012-03-20 21:47	39K
	13_1_1	2012-03-20 21:47	1.6K
	21	2012-03-20 21:47	12K
	22_1_1	2012-03-20 21:47	2.0K
	22_1_2	2012-03-20 21:47	6.4K
	25	2012-03-20 21:47	25K
	26	2012-03-20 21:47	8.4K
	27	2012-03-20 21:47	4.2K
	29	2012-03-20 21:47	19K
	30_1_1	2012-03-20 21:47	14K
	30_1_2	2012-03-20 21:47	18K
	31	2012-03-20 21:47	20K
	32_1_1	2012-03-20 21:47	22K
	32_1_2	2012-03-20 21:47	25K
	33	2012-03-20 21:47	16K
	34	2012-03-20 21:47	28K
	35	2012-03-20 21:47	9.2K
	36_1_1	2012-03-20 21:47	20K
	36_1_2	2012-03-20 21:47	12K
	37	2012-03-20 21:47	49K