Index of /xml/Coq/Arith/Le

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	622
	le_trans.con.proof_tree.xml.gz	2004-04-09 18:52	645
	le_refl.con.proof_tree.xml.gz	2004-04-09 18:52	605
	le_pred_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	le_pred.con.proof_tree.xml.gz	2004-04-09 18:52	6.2K
	le_n_Sn.con.proof_tree.xml.gz	2004-04-09 18:52	639
	le_n_S.con.proof_tree.xml.gz	2004-04-09 18:52	645
	le_n_O_eq.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	le_elim_rel.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	le_antisym.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	le_Sn_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	le_Sn_le.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	le_Sn_O.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	le_S_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	le_O_n.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	le_trans.con.xml.gz	2004-04-08 01:28	455
	le_trans.con.types.xml.gz	2004-04-08 01:28	722
	le_trans.con.body.xml.gz	2004-04-08 01:28	772
	le_refl.con.xml.gz	2004-04-08 01:28	358
	le_refl.con.types.xml.gz	2004-04-08 01:28	194
	le_refl.con.body.xml.gz	2004-04-08 01:28	266
	le_pred_n.con.xml.gz	2004-04-08 01:28	390
	le_pred_n.con.types.xml.gz	2004-04-08 01:28	830
	le_pred_n.con.body.xml.gz	2004-04-08 01:28	683
	le_pred.con.xml.gz	2004-04-08 01:28	456
	le_pred.con.types.xml.gz	2004-04-08 01:28	3.0K
	le_pred.con.body.xml.gz	2004-04-08 01:28	2.9K
	le_n_Sn.con.xml.gz	2004-04-08 01:28	393
	le_n_Sn.con.types.xml.gz	2004-04-08 01:28	507
	le_n_Sn.con.body.xml.gz	2004-04-08 01:28	415
	le_n_S.con.xml.gz	2004-04-08 01:28	463
	le_n_S.con.types.xml.gz	2004-04-08 01:28	843
	le_n_S.con.body.xml.gz	2004-04-08 01:28	830
	le_n_O_eq.con.xml.gz	2004-04-08 01:28	431
	le_n_O_eq.con.types.xml.gz	2004-04-08 01:28	919
	le_n_O_eq.con.body.xml.gz	2004-04-08 01:28	893
	le_elim_rel.con.xml.gz	2004-04-08 01:28	733
	le_elim_rel.con.types.xml.gz	2004-04-08 01:28	1.6K
	le_elim_rel.con.body.xml.gz	2004-04-08 01:28	1.6K
	le_antisym.con.xml.gz	2004-04-08 01:28	463
	le_antisym.con.types.xml.gz	2004-04-08 01:28	1.3K
	le_antisym.con.body.xml.gz	2004-04-08 01:28	1.3K
	le_Sn_n.con.xml.gz	2004-04-08 01:28	429
	le_Sn_n.con.types.xml.gz	2004-04-08 01:28	1.1K
	le_Sn_n.con.body.xml.gz	2004-04-08 01:28	779
	le_Sn_le.con.xml.gz	2004-04-08 01:28	452
	le_Sn_le.con.types.xml.gz	2004-04-08 01:28	593
	le_Sn_le.con.body.xml.gz	2004-04-08 01:28	586
	le_Sn_O.con.xml.gz	2004-04-08 01:28	431
	le_Sn_O.con.types.xml.gz	2004-04-08 01:28	865
	le_Sn_O.con.body.xml.gz	2004-04-08 01:28	712
	le_S_n.con.xml.gz	2004-04-08 01:28	461
	le_S_n.con.types.xml.gz	2004-04-08 01:28	1.2K
	le_S_n.con.body.xml.gz	2004-04-08 01:28	871
	le_O_n.con.xml.gz	2004-04-08 01:28	374
	le_O_n.con.types.xml.gz	2004-04-08 01:28	615
	le_O_n.con.body.xml.gz	2004-04-08 01:28	601