Index of /~mptp/html_abstr_930/proofs/t_1topsp

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:53	1.9K
	2	2006-07-12 03:53	9.7K
	3	2006-07-12 03:53	3.4K
	4	2006-07-12 03:53	9.5K
	5_1_1	2006-07-12 03:53	1.3K
	5_1_2	2006-07-12 03:53	1.3K
	6	2006-07-12 03:53	6.4K
	7	2006-07-12 03:53	4.1K
	9	2006-07-12 03:53	747
	11_1_1	2006-07-12 03:53	1.0K
	13_1_1	2006-07-12 03:53	1.2K
	14	2006-07-12 03:53	2.9K
	15_1_1	2006-07-12 03:53	797
	16	2006-07-12 03:53	5.2K
	17	2006-07-12 03:53	2.2K
	18	2006-07-12 03:53	1.9K
	19_1_1	2006-07-12 03:53	3.9K
	19_1_2	2006-07-12 03:53	69K
	20	2006-07-12 03:53	5.1K
	21_1_1	2006-07-12 03:53	3.5K
	24	2006-07-12 03:53	23K
	27	2006-07-12 03:53	23K
	28	2006-07-12 03:53	11K
	29	2006-07-12 03:53	4.7K
	30	2006-07-12 03:53	71K
	31_1_1	2006-07-12 03:53	11K