Index of /~mptp/html_abstr_930/proofs/recdef_2

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 02:48	918
	1_1_2	2006-07-12 02:48	2.0K
	1_2_1	2006-07-12 02:48	918
	1_2_2	2006-07-12 02:48	2.0K
	1_3_1	2006-07-12 02:48	918
	1_3_2	2006-07-12 02:48	2.0K
	2	2006-07-12 02:48	2.3K
	3	2006-07-12 02:48	3.5K
	4	2006-07-12 02:48	2.7K
	5_1_1	2006-07-12 02:48	1.0K
	5_1_2	2006-07-12 02:48	2.1K
	5_2_1	2006-07-12 02:48	1.0K
	5_2_2	2006-07-12 02:48	2.1K
	5_3_1	2006-07-12 02:48	1.0K
	5_3_2	2006-07-12 02:48	2.1K
	5_4_1	2006-07-12 02:48	1.0K
	5_4_2	2006-07-12 02:48	2.1K
	6	2006-07-12 02:48	2.7K
	7	2006-07-12 02:48	4.2K
	8	2006-07-12 02:48	3.2K
	9_1_1	2006-07-12 02:48	1.1K
	9_1_2	2006-07-12 02:48	2.3K
	9_2_1	2006-07-12 02:48	1.1K
	9_2_2	2006-07-12 02:48	2.3K
	9_3_1	2006-07-12 02:48	1.1K
	9_3_2	2006-07-12 02:48	2.3K
	9_4_1	2006-07-12 02:48	1.1K
	9_4_2	2006-07-12 02:48	2.3K
	9_5_1	2006-07-12 02:48	1.1K
	9_5_2	2006-07-12 02:48	2.3K
	10	2006-07-12 02:48	3.2K
	11	2006-07-12 02:48	5.0K
	12	2006-07-12 02:48	3.7K
	13_1	2006-07-12 02:48	22K
	14_1	2006-07-12 02:48	34K
	15_1	2006-07-12 02:48	11K
	16_1	2006-07-12 02:48	44K
	17_1	2006-07-12 02:48	8.9K
	18_1	2006-07-12 02:48	8.5K
	19_1	2006-07-12 02:48	1.4K
	20_1	2006-07-12 02:48	77K
	21_1	2006-07-12 02:48	10K
	22_1	2006-07-12 02:48	11K
	23_1	2006-07-12 02:48	1.4K
	24_1	2006-07-12 02:48	134K
	25_1	2006-07-12 02:48	11K
	26_1	2006-07-12 02:48	13K
	27_1	2006-07-12 02:48	1.4K