Index of /~mptp/html_abstr_930/proofs/papdesaf

	Name	Last modified	Size	Description
	Parent Directory		-
	3	2006-07-12 02:53	2.2K
	4	2006-07-12 02:53	4.1K
	5	2006-07-12 02:53	1.1K
	6	2006-07-12 02:53	5.8K
	7	2006-07-12 02:53	6.5K
	13_1_1	2006-07-12 02:53	6.9K
	19	2006-07-12 02:53	28K
	20	2006-07-12 02:53	3.6K
	21	2006-07-12 02:53	18K
	22	2006-07-12 02:53	25K
	23	2006-07-12 02:53	57K
	24	2006-07-12 02:53	5.8K
	25	2006-07-12 02:53	33K
	26	2006-07-12 02:53	915
	27	2006-07-12 02:53	9.7K
	28	2006-07-12 02:53	1.4K
	29	2006-07-12 02:53	45K
	30	2006-07-12 02:53	951
	31	2006-07-12 02:53	9.7K
	32	2006-07-12 02:53	1.0K
	33	2006-07-12 02:53	31K
	34	2006-07-12 02:53	14K
	35_1_1	2006-07-12 02:53	3.9K
	36_1_1	2006-07-12 02:53	4.0K
	37_1_1	2006-07-12 02:54	2.9K