Index of /~mptp/html_abstr_930/proofs/lopban_2

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2006-07-12 02:41	447
	2	2006-07-12 02:41	7.5K
	3	2006-07-12 02:41	22K
	8_1_1	2006-07-12 02:41	2.6K
	8_1_2	2006-07-12 02:41	3.0K
	9	2006-07-12 02:41	5.9K
	10_1_1	2006-07-12 02:41	889
	11	2006-07-12 02:41	3.4K
	12	2006-07-12 02:41	3.7K
	13	2006-07-12 02:41	4.6K
	14	2006-07-12 02:41	7.7K
	15	2006-07-12 02:41	5.7K
	16	2006-07-12 02:41	28K
	17	2006-07-12 02:41	27K
	18	2006-07-12 02:41	30K
	19	2006-07-12 02:41	8.2K
	21_1_1	2006-07-12 02:41	666
	23_1_1	2006-07-12 02:41	1.4K
	25	2006-07-12 02:41	54K
	26	2006-07-12 02:41	5.6K
	29_1_1	2006-07-12 02:41	676
	31_1_1	2006-07-12 02:41	1.4K
	33	2006-07-12 02:41	99K
	35	2006-07-12 02:41	8.0K
	36_1_1	2006-07-12 02:41	593
	37_1_1	2006-07-12 02:41	5.2K
	38_1_1	2006-07-12 02:41	243
	39	2006-07-12 02:41	5.4K
	40	2006-07-12 02:41	7.4K
	42_1_1	2006-07-12 02:41	2.0K
	44_1_1	2006-07-12 02:41	707
	46_1_1	2006-07-12 02:41	1.5K
	48	2006-07-12 02:41	100K
	49	2006-07-12 02:41	30K
	50_1_1	2006-07-12 02:41	2.1K
	56_1_1	2006-07-12 02:41	58K
	57_1_1	2006-07-12 02:41	610