Index of /xml/CoRN/ftc/COrdLemmas

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.8K
	Lemmas/	2005-07-05 08:13	-
	More_Lemmas/	2005-07-05 08:13	-
	Sumx_Sum_Sum.con.body.xml.gz	2004-11-09 12:47	213K
	Sumx_Sum_Sum.con.types.xml.gz	2004-11-09 12:47	204K
	Sumx_Sum_Sum.con.xml.gz	2004-11-09 12:47	1.2K
	om_fun.con.body.xml.gz	2004-11-09 12:45	12K
	om_fun.con.types.xml.gz	2004-11-09 12:45	4.5K
	om_fun.con.xml.gz	2004-11-09 12:45	1.3K
	om_fun_1.con.body.xml.gz	2004-11-09 12:45	129K
	om_fun_1.con.types.xml.gz	2004-11-09 12:45	494K
	om_fun_1.con.xml.gz	2004-11-09 12:45	1.6K
	om_fun_1_subproof.con.body.xml.gz	2004-11-09 12:45	36K
	om_fun_1_subproof.con.types.xml.gz	2004-11-09 12:45	31K
	om_fun_1_subproof.con.xml.gz	2004-11-09 12:45	4.4K
	om_fun_1_subproof0.con.body.xml.gz	2004-11-09 12:45	36K
	om_fun_1_subproof0.con.types.xml.gz	2004-11-09 12:45	31K
	om_fun_1_subproof0.con.xml.gz	2004-11-09 12:45	4.4K
	om_fun_1_subproof1.con.body.xml.gz	2004-11-09 12:45	36K
	om_fun_1_subproof1.con.types.xml.gz	2004-11-09 12:45	31K
	om_fun_1_subproof1.con.xml.gz	2004-11-09 12:45	4.4K
	om_fun_1_subproof2.con.body.xml.gz	2004-11-09 12:45	36K
	om_fun_1_subproof2.con.types.xml.gz	2004-11-09 12:45	31K
	om_fun_1_subproof2.con.xml.gz	2004-11-09 12:45	4.4K
	om_fun_2.con.body.xml.gz	2004-11-09 12:46	134K
	om_fun_2.con.types.xml.gz	2004-11-09 12:46	509K
	om_fun_2.con.xml.gz	2004-11-09 12:46	2.6K
	om_fun_2_subproof.con.body.xml.gz	2004-11-09 12:45	38K
	om_fun_2_subproof.con.types.xml.gz	2004-11-09 12:45	32K
	om_fun_2_subproof.con.xml.gz	2004-11-09 12:45	7.0K
	om_fun_2_subproof0.con.body.xml.gz	2004-11-09 12:45	39K
	om_fun_2_subproof0.con.types.xml.gz	2004-11-09 12:45	34K
	om_fun_2_subproof0.con.xml.gz	2004-11-09 12:45	6.9K
	om_fun_2_subproof1.con.body.xml.gz	2004-11-09 12:45	38K
	om_fun_2_subproof1.con.types.xml.gz	2004-11-09 12:45	32K
	om_fun_2_subproof1.con.xml.gz	2004-11-09 12:45	7.0K
	om_fun_2_subproof2.con.body.xml.gz	2004-11-09 12:45	39K
	om_fun_2_subproof2.con.types.xml.gz	2004-11-09 12:45	34K
	om_fun_2_subproof2.con.xml.gz	2004-11-09 12:45	6.9K
	om_fun_2a.con.body.xml.gz	2004-11-09 12:45	43K
	om_fun_2a.con.types.xml.gz	2004-11-09 12:45	160K
	om_fun_2a.con.xml.gz	2004-11-09 12:45	2.0K
	om_fun_3a.con.body.xml.gz	2004-11-09 12:46	131K
	om_fun_3a.con.types.xml.gz	2004-11-09 12:46	161K
	om_fun_3a.con.xml.gz	2004-11-09 12:46	2.0K
	om_fun_3a_subproof.con.body.xml.gz	2004-11-09 12:46	26K
	om_fun_3a_subproof.con.types.xml.gz	2004-11-09 12:46	29K
	om_fun_3a_subproof.con.xml.gz	2004-11-09 12:46	5.6K
	om_fun_3a_subproof0.con.body.xml.gz	2004-11-09 12:46	26K
	om_fun_3a_subproof0.con.types.xml.gz	2004-11-09 12:46	27K
	om_fun_3a_subproof0.con.xml.gz	2004-11-09 12:46	5.7K
	om_fun_3a_subproof1.con.body.xml.gz	2004-11-09 12:46	30K
	om_fun_3a_subproof1.con.types.xml.gz	2004-11-09 12:46	33K
	om_fun_3a_subproof1.con.xml.gz	2004-11-09 12:46	5.8K
	om_fun_3a_subproof2.con.body.xml.gz	2004-11-09 12:46	23K
	om_fun_3a_subproof2.con.types.xml.gz	2004-11-09 12:46	21K
	om_fun_3a_subproof2.con.xml.gz	2004-11-09 12:46	4.9K
	om_fun_3b.con.body.xml.gz	2004-11-09 12:46	176K
	om_fun_3b.con.types.xml.gz	2004-11-09 12:46	222K
	om_fun_3b.con.xml.gz	2004-11-09 12:46	2.0K
	om_fun_3b_subproof.con.body.xml.gz	2004-11-09 12:46	28K
	om_fun_3b_subproof.con.types.xml.gz	2004-11-09 12:46	31K
	om_fun_3b_subproof.con.xml.gz	2004-11-09 12:46	5.7K
	om_fun_3b_subproof0.con.body.xml.gz	2004-11-09 12:46	23K
	om_fun_3b_subproof0.con.types.xml.gz	2004-11-09 12:46	20K
	om_fun_3b_subproof0.con.xml.gz	2004-11-09 12:46	4.8K
	om_fun_3b_subproof1.con.body.xml.gz	2004-11-09 12:46	25K
	om_fun_3b_subproof1.con.types.xml.gz	2004-11-09 12:46	27K
	om_fun_3b_subproof1.con.xml.gz	2004-11-09 12:46	5.6K
	om_fun_3b_subproof2.con.body.xml.gz	2004-11-09 12:46	29K
	om_fun_3b_subproof2.con.types.xml.gz	2004-11-09 12:46	31K
	om_fun_3b_subproof2.con.xml.gz	2004-11-09 12:46	5.7K
	om_fun_4a.con.body.xml.gz	2004-11-09 12:46	42K
	om_fun_4a.con.types.xml.gz	2004-11-09 12:46	154K
	om_fun_4a.con.xml.gz	2004-11-09 12:46	1.8K
	om_fun_4b.con.body.xml.gz	2004-11-09 12:47	42K
	om_fun_4b.con.types.xml.gz	2004-11-09 12:47	154K
	om_fun_4b.con.xml.gz	2004-11-09 12:47	1.8K
	om_fun_4c.con.body.xml.gz	2004-11-09 12:47	15K
	om_fun_4c.con.types.xml.gz	2004-11-09 12:47	1.8K
	om_fun_4c.con.xml.gz	2004-11-09 12:47	2.6K
	om_fun_4d.con.body.xml.gz	2004-11-09 12:47	15K
	om_fun_4d.con.types.xml.gz	2004-11-09 12:47	1.8K
	om_fun_4d.con.xml.gz	2004-11-09 12:47	2.6K
	om_fun_lt.con.body.xml.gz	2004-11-09 12:45	535
	om_fun_lt.con.types.xml.gz	2004-11-09 12:45	613
	om_fun_lt.con.xml.gz	2004-11-09 12:45	475
	om_fun_lt_subproof.con.body.xml.gz	2004-11-09 12:45	11K
	om_fun_lt_subproof.con.types.xml.gz	2004-11-09 12:45	8.1K
	om_fun_lt_subproof.con.xml.gz	2004-11-09 12:45	512
	str_Sumx_Sum_Sum'.con.body.xml.gz	2004-11-09 12:47	19K
	str_Sumx_Sum_Sum'.con.types.xml.gz	2004-11-09 12:47	36K
	str_Sumx_Sum_Sum'.con.xml.gz	2004-11-09 12:47	2.7K
	str_Sumx_Sum_Sum.con.body.xml.gz	2004-11-09 12:47	5.7K
	str_Sumx_Sum_Sum.con.types.xml.gz	2004-11-09 12:47	7.8K
	str_Sumx_Sum_Sum.con.xml.gz	2004-11-09 12:47	1.8K