Index of /~mptp/html_abstr_930/proofs/numbers

	Name	Last modified	Size	Description
	Parent Directory		-
	4	2006-07-12 02:43	1.2K
	7	2006-07-12 02:43	1.2K
	8	2006-07-12 02:43	1.2K
	10	2006-07-12 02:43	3.4K
	11	2006-07-12 02:43	51K
	12	2006-07-12 02:43	8.5K
	13	2006-07-12 02:43	1.9K
	14	2006-07-12 02:43	2.9K
	15	2006-07-12 02:43	2.1K
	17	2006-07-12 02:43	12K
	18	2006-07-12 02:43	1.1K
	19	2006-07-12 02:43	1.3K
	20	2006-07-12 02:43	178K
	21	2006-07-12 02:43	1.9K
	22	2006-07-12 02:43	4.3K
	23	2006-07-12 02:43	3.5K