Index of /~mptp/html_abstr_930/proofs/dtconstr

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 03:47	1.0K
	2	2006-07-12 03:47	1.3K
	4_1_1	2006-07-12 03:47	1.4K
	5_1_1	2006-07-12 03:47	644
	6_1_1	2006-07-12 03:47	4.5K
	8	2006-07-12 03:47	4.4K
	9	2006-07-12 03:47	2.9K
	10	2006-07-12 03:47	7.4K
	11_1_1	2006-07-12 03:47	3.8K
	11_2_1	2006-07-12 03:47	3.8K
	12	2006-07-12 03:47	1.8K
	14_1	2006-07-12 03:47	4.1K
	15_1	2006-07-12 03:47	11K
	16	2006-07-12 03:47	3.6K
	17_1	2006-07-12 03:47	68K
	18_1	2006-07-12 03:47	81K
	19_1	2006-07-12 03:47	65K
	20_1	2006-07-12 03:47	63K
	21_1_1	2006-07-12 03:47	14K
	21_1_2	2006-07-12 03:47	6.3K
	22_1	2006-07-12 03:47	62K
	23_1	2006-07-12 03:47	72K
	24_1	2006-07-12 03:47	13K
	25_1_1	2006-07-12 03:47	1.2K
	25_1_2	2006-07-12 03:47	2.1K
	27	2006-07-12 03:47	2.4K
	28	2006-07-12 03:47	2.0K
	30	2006-07-12 03:47	6.1K
	32_1_1	2006-07-12 03:47	1.3K
	33_1_1	2006-07-12 03:47	835
	34_1_1	2006-07-12 03:47	4.4K
	35_1_1	2006-07-12 03:47	1.3K
	40_1_1	2006-07-12 03:47	729
	41	2006-07-12 03:47	7.6K
	42	2006-07-12 03:47	11K
	44_1_1	2006-07-12 03:47	2.9K
	45_1_1	2006-07-12 03:47	2.2K
	46_1_1	2006-07-12 03:47	2.2K
	46_1_2	2006-07-12 03:47	4.5K
	47_1_1	2006-07-12 03:47	2.1K
	48_1_1	2006-07-12 03:47	2.1K
	48_1_2	2006-07-12 03:47	4.2K
	49	2006-07-12 03:47	13K
	52	2006-07-12 03:47	1.6K
	53_1_1	2006-07-12 03:47	2.6K
	53_1_2	2006-07-12 03:47	3.6K
	54	2006-07-12 03:47	2.0K
	55_2_1	2006-07-12 03:47	6.2K
	55_2_2	2006-07-12 03:47	11K
	55_4_1	2006-07-12 03:47	8.7K
	55_4_2	2006-07-12 03:47	13K
	55_5_1	2006-07-12 03:47	7.4K
	55_5_2	2006-07-12 03:47	13K
	56_1_1	2006-07-12 03:47	5.4K
	56_2_1	2006-07-12 03:47	5.2K
	56_3_1	2006-07-12 03:47	5.2K
	57	2006-07-12 03:47	13K
	58	2006-07-12 03:47	7.7K
	59	2006-07-12 03:47	25K
	60	2006-07-12 03:47	29K
	61	2006-07-12 03:47	25K
	62	2006-07-12 03:47	29K