Index of /~mptp/html_abstr_930/proofs/finset_1

	Name	Last modified	Size	Description
	Parent Directory		-
	3	2006-07-12 03:54	10K
	4_1_1	2006-07-12 03:54	826
	5_1_1	2006-07-12 03:54	1.0K
	6_1_1	2006-07-12 03:54	449
	7_1	2006-07-12 03:54	2.6K
	8	2006-07-12 03:54	21K
	10_1_1	2006-07-12 03:54	1.4K
	11_1_1	2006-07-12 03:54	2.2K
	12_1_1	2006-07-12 03:54	2.5K
	13_1_1	2006-07-12 03:54	2.7K
	14_1_1	2006-07-12 03:54	3.0K
	15_1_1	2006-07-12 03:54	3.2K
	16_1_1	2006-07-12 03:54	3.5K
	17_1_1	2006-07-12 03:54	3.7K
	18_1_1	2006-07-12 03:54	11K
	20	2006-07-12 03:54	1.4K
	21_1_1	2006-07-12 03:54	1.2K
	22_2_1	2006-07-12 03:54	1.2K
	23	2006-07-12 03:54	1.1K
	24	2006-07-12 03:54	887
	25	2006-07-12 03:54	4.3K
	27	2006-07-12 03:54	58K
	28_1	2006-07-12 03:54	10K
	29	2006-07-12 03:54	10K
	30	2006-07-12 03:54	31K
	32	2006-07-12 03:54	2.0K
	34	2006-07-12 03:54	2.3K
	36	2006-07-12 03:54	8.3K
	37	2006-07-12 03:54	8.5K
	38	2006-07-12 03:54	43K
	39	2006-07-12 03:54	4.1K
	40	2006-07-12 03:54	954
	41	2006-07-12 03:54	1.5K
	42	2006-07-12 03:54	1.7K
	44_1_1	2006-07-12 03:54	857
	45	2006-07-12 03:54	3.5K
	46	2006-07-12 03:54	14K
	47	2006-07-12 03:54	14K