Index of /~mptp/html_abstr_930/proofs/bhsp_5

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:16	26K
	2_1_1	2006-07-12 03:16	2.6K
	2_1_2	2006-07-12 03:16	5.8K
	6_1_1	2006-07-12 03:16	3.0K
	6_1_2	2006-07-12 03:16	24K
	7_1_1	2006-07-12 03:16	9.7K
	7_1_2	2006-07-12 03:16	24K
	9_1_1	2006-07-12 03:16	1.0K
	10	2006-07-12 03:16	1.5K
	11_1_1	2006-07-12 03:16	591
	12_1_1	2006-07-12 03:16	925
	13	2006-07-12 03:16	1.2K
	14_1_1	2006-07-12 03:16	592
	15	2006-07-12 03:16	2.8K
	16	2006-07-12 03:16	16K
	17	2006-07-12 03:16	8.1K
	18	2006-07-12 03:16	59K
	19	2006-07-12 03:16	30K
	20	2006-07-12 03:16	32K
	21	2006-07-12 03:16	19K
	22	2006-07-12 03:16	14K
	23	2006-07-12 03:16	25K
	24	2006-07-12 03:16	25K
	25	2006-07-12 03:16	13K