Index of /~mptp/html_abstr_930/proofs/pythtrip

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 02:39	2.9K
	2_1_1	2006-07-12 02:39	6.2K
	4_1_1	2006-07-12 02:39	793
	6_1_1	2006-07-12 02:39	390
	7_1_1	2006-07-12 02:39	481
	8_1_1	2006-07-12 02:39	530
	9_1_1	2006-07-12 02:39	533
	10_1_1	2006-07-12 02:39	1.6K
	11	2006-07-12 02:39	42K
	14	2006-07-12 02:39	1.6K
	15	2006-07-12 02:39	2.4K
	16	2006-07-12 02:39	4.9K
	17_1_1	2006-07-12 02:39	4.9K
	18	2006-07-12 02:39	2.6K
	19	2006-07-12 02:39	17K
	20	2006-07-12 02:39	5.9K
	21	2006-07-12 02:39	7.9K
	22	2006-07-12 02:39	20K
	23	2006-07-12 02:39	1.3K
	24	2006-07-12 02:39	25K
	25_1_1	2006-07-12 02:39	898
	26_1_1	2006-07-12 02:39	1.3K
	27_1_1	2006-07-12 02:39	40K
	29	2006-07-12 02:39	17K
	31_1_1	2006-07-12 02:39	7.9K
	32	2006-07-12 02:39	16K
	33_1_1	2006-07-12 02:39	1.1K
	34	2006-07-12 02:39	3.1K
	35	2006-07-12 02:39	9.0K