Index of /xml/Coq/Relations/Operators_Properties

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	412
	Properties/	2005-07-05 08:12	-
	clos_refl_trans_ind_left.con.body.xml.gz	2004-04-08 01:34	3.5K
	clos_refl_trans_ind_left.con.proof_tree.xml.gz	2004-04-09 18:52	6.7K
	clos_refl_trans_ind_left.con.types.xml.gz	2004-04-08 01:34	3.1K
	clos_refl_trans_ind_left.con.xml.gz	2004-04-08 01:34	880
	clos_rst_idempotent.con.body.xml.gz	2004-04-08 01:34	1.6K
	clos_rst_idempotent.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	clos_rst_idempotent.con.types.xml.gz	2004-04-08 01:34	1.6K
	clos_rst_idempotent.con.xml.gz	2004-04-08 01:34	496
	clos_rst_is_equiv.con.body.xml.gz	2004-04-08 01:34	589
	clos_rst_is_equiv.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	clos_rst_is_equiv.con.types.xml.gz	2004-04-08 01:34	1.1K
	clos_rst_is_equiv.con.xml.gz	2004-04-08 01:34	438
	clos_rt_clos_rst.con.body.xml.gz	2004-04-08 01:34	1.3K
	clos_rt_clos_rst.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	clos_rt_clos_rst.con.types.xml.gz	2004-04-08 01:34	1.4K
	clos_rt_clos_rst.con.xml.gz	2004-04-08 01:34	472
	clos_rt_idempotent.con.body.xml.gz	2004-04-08 01:34	1.4K
	clos_rt_idempotent.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	clos_rt_idempotent.con.types.xml.gz	2004-04-08 01:34	1.4K
	clos_rt_idempotent.con.xml.gz	2004-04-08 01:34	478
	clos_rt_is_preorder.con.body.xml.gz	2004-04-08 01:34	551
	clos_rt_is_preorder.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	clos_rt_is_preorder.con.types.xml.gz	2004-04-08 01:34	902
	clos_rt_is_preorder.con.xml.gz	2004-04-08 01:34	425