Index of /~mptp/html_abstr_930/proofs/grcat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2006-07-12 02:57	2.7K
	2	2006-07-12 02:57	2.8K
	3	2006-07-12 02:57	1.1K
	4_1	2006-07-12 02:57	5.5K
	5_1	2006-07-12 02:57	5.3K
	6	2006-07-12 02:57	2.3K
	7	2006-07-12 02:57	5.6K
	8	2006-07-12 02:57	5.3K
	13_1_1	2006-07-12 02:57	2.0K
	16	2006-07-12 02:57	2.5K
	17_1_1	2006-07-12 02:57	2.1K
	19	2006-07-12 02:57	3.4K
	20	2006-07-12 02:57	5.3K
	21	2006-07-12 02:57	5.0K
	28_1_1	2006-07-12 02:57	1.5K
	30	2006-07-12 02:57	805
	31_1_1	2006-07-12 02:57	1.0K
	32_1_1	2006-07-12 02:57	886
	33_1_1	2006-07-12 02:57	1.4K
	34	2006-07-12 02:57	1.9K
	35	2006-07-12 02:57	2.4K
	36	2006-07-12 02:57	4.2K
	37_1_1	2006-07-12 02:57	2.7K
	39_1_1	2006-07-12 02:57	2.2K
	40	2006-07-12 02:57	2.5K
	41	2006-07-12 02:57	1.6K
	42	2006-07-12 02:57	1.1K
	43	2006-07-12 02:57	2.6K
	44	2006-07-12 02:57	3.4K
	45_1_1	2006-07-12 02:57	6.7K
	45_1_2	2006-07-12 02:57	10K
	46	2006-07-12 02:57	4.9K
	48	2006-07-12 02:57	2.7K
	49	2006-07-12 02:57	6.4K
	50	2006-07-12 02:57	3.4K
	51	2006-07-12 02:57	7.0K
	52	2006-07-12 02:57	3.8K
	53	2006-07-12 02:57	8.9K
	55_1_1	2006-07-12 02:57	1.6K
	58_1_1	2006-07-12 02:57	732
	60_1_1	2006-07-12 02:57	1.8K
	63_1_1	2006-07-12 02:57	767
	64	2006-07-12 02:57	1.1K
	65_1_1	2006-07-12 02:57	1.1K
	66	2006-07-12 02:57	3.7K
	67	2006-07-12 02:57	1.4K
	68_1_1	2006-07-12 02:57	534
	69_1_1	2006-07-12 02:57	893
	71_1_1	2006-07-12 02:57	589
	73_1_1	2006-07-12 02:57	11K
	73_1_2	2006-07-12 02:57	4.6K
	75_1_1	2006-07-12 02:57	864
	77	2006-07-12 02:57	7.9K
	78	2006-07-12 02:57	4.4K
	79_1_1	2006-07-12 02:57	2.7K
	79_1_2	2006-07-12 02:57	2.9K
	80	2006-07-12 02:57	910
	82	2006-07-12 02:57	2.7K
	83_1_1	2006-07-12 02:57	849
	84_1_1	2006-07-12 02:57	13K
	84_1_2	2006-07-12 02:57	3.3K
	85_1_1	2006-07-12 02:57	1.6K
	85_2_1	2006-07-12 02:57	1.6K
	86_1_1	2006-07-12 02:57	1.1K
	87_1_1	2006-07-12 02:57	2.0K
	87_1_2	2006-07-12 02:57	2.7K
	87_2_1	2006-07-12 02:57	2.0K
	87_2_2	2006-07-12 02:57	2.7K
	87_3_1	2006-07-12 02:57	1.9K
	87_3_2	2006-07-12 02:57	2.6K
	88	2006-07-12 02:57	4.4K
	89	2006-07-12 02:57	3.5K
	90_1_1	2006-07-12 02:57	6.8K
	90_1_2	2006-07-12 02:57	16K
	93	2006-07-12 02:57	3.7K
	94	2006-07-12 02:57	5.8K
	95	2006-07-12 02:57	1.8K
	96	2006-07-12 02:57	2.9K
	97	2006-07-12 02:57	8.9K
	98	2006-07-12 02:57	5.1K
	99	2006-07-12 02:57	7.1K
	100	2006-07-12 02:57	11K
	101_1_1	2006-07-12 02:57	5.9K
	102_1_1	2006-07-12 02:57	3.0K
	103	2006-07-12 02:57	1.7K
	107_1_1	2006-07-12 02:57	3.2K
	108_1_1	2006-07-12 02:57	4.5K
	111	2006-07-12 02:57	1.8K