Index of /~mptp/html_abstr_930/proofs/tdgroup

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 02:54	2.6K
	2	2006-07-12 02:54	2.4K
	4	2006-07-12 02:54	829
	10_1_1	2006-07-12 02:54	11K
	10_1_2	2006-07-12 02:54	14K
	12_1_1	2006-07-12 02:54	433
	14	2006-07-12 02:54	4.7K
	15	2006-07-12 02:54	488
	16	2006-07-12 02:54	1.3K
	17	2006-07-12 02:54	4.7K
	18	2006-07-12 02:54	3.2K
	19	2006-07-12 02:54	6.2K
	20	2006-07-12 02:54	1.4K
	21	2006-07-12 02:54	5.9K
	22	2006-07-12 02:54	1.4K
	23	2006-07-12 02:54	31K
	25_1_1	2006-07-12 02:54	8.0K
	27	2006-07-12 02:54	7.2K