Index of /~mptp/html_abstr_930/proofs/scm_comp

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 02:43	16K
	2	2006-07-12 02:43	12K
	3_1_1	2006-07-12 02:43	25K
	3_1_2	2006-07-12 02:43	13K
	5_1_1	2006-07-12 02:43	1.9K
	7_1_1	2006-07-12 02:43	909
	8	2006-07-12 02:43	3.6K
	9	2006-07-12 02:43	1.8K
	10_1_1	2006-07-12 02:43	706
	10_2_1	2006-07-12 02:43	706
	10_3_1	2006-07-12 02:43	706
	10_4_1	2006-07-12 02:43	706
	10_5_1	2006-07-12 02:43	706
	11	2006-07-12 02:43	17K
	12_1_1	2006-07-12 02:43	8.9K
	13_1_1	2006-07-12 02:43	646
	14_1_1	2006-07-12 02:43	799
	15_1_1	2006-07-12 02:43	9.0K
	15_1_2	2006-07-12 02:43	19K
	16	2006-07-12 02:43	4.3K
	17	2006-07-12 02:43	6.5K
	18	2006-07-12 02:43	8.6K
	19_1_1	2006-07-12 02:43	19K
	20_1_1	2006-07-12 02:43	9.9K
	20_1_2	2006-07-12 02:43	10K
	21	2006-07-12 02:43	3.5K
	22	2006-07-12 02:43	7.4K
	23_1_1	2006-07-12 02:43	1.8K
	24_1_1	2006-07-12 02:43	6.3K
	24_1_2	2006-07-12 02:43	7.4K
	25	2006-07-12 02:43	1.3K
	26	2006-07-12 02:43	3.1K
	29	2006-07-12 02:43	522
	30	2006-07-12 02:43	131K
	31	2006-07-12 02:43	12K