Index of /~mptp/html_abstr_930/proofs/dirort

	Name	Last modified	Size	Description
	Parent Directory		-
	2	2006-07-12 02:56	30K
	3	2006-07-12 02:56	30K
	5_1_1	2006-07-12 02:56	6.6K
	7	2006-07-12 02:56	7.4K
	8	2006-07-12 02:56	7.4K
	9	2006-07-12 02:56	2.1K
	10	2006-07-12 02:56	2.6K
	18	2006-07-12 02:56	2.2K
	19	2006-07-12 02:56	1.9K
	20	2006-07-12 02:56	2.7K
	21	2006-07-12 02:56	16K
	22	2006-07-12 02:56	16K
	23	2006-07-12 02:56	3.8K
	24	2006-07-12 02:56	23K
	25_1_1	2006-07-12 02:56	1.8K
	26	2006-07-12 02:56	23K
	27_1_1	2006-07-12 02:56	1.8K
	28	2006-07-12 02:56	38K
	29	2006-07-12 02:56	32K
	30	2006-07-12 02:56	26K
	31	2006-07-12 02:56	16K