Index of /xml/Coq/Bool/IfProp

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	385
	IfProp.ind.types.xml.gz	2004-04-08 01:28	190
	IfProp.ind.xml.gz	2004-04-08 01:28	595
	IfProp_false.con.body.xml.gz	2004-04-08 01:28	1.5K
	IfProp_false.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	IfProp_false.con.types.xml.gz	2004-04-08 01:28	1.2K
	IfProp_false.con.xml.gz	2004-04-08 01:28	433
	IfProp_ind.con.body.xml.gz	2004-04-08 01:28	783
	IfProp_ind.con.types.xml.gz	2004-04-08 01:28	674
	IfProp_ind.con.xml.gz	2004-04-08 01:28	606
	IfProp_or.con.body.xml.gz	2004-04-08 01:28	738
	IfProp_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	IfProp_or.con.types.xml.gz	2004-04-08 01:28	670
	IfProp_or.con.xml.gz	2004-04-08 01:28	460
	IfProp_sum.con.body.xml.gz	2004-04-08 01:28	2.6K
	IfProp_sum.con.proof_tree.xml.gz	2004-04-09 18:52	5.9K
	IfProp_sum.con.types.xml.gz	2004-04-08 01:28	1.7K
	IfProp_sum.con.xml.gz	2004-04-08 01:28	463
	IfProp_true.con.body.xml.gz	2004-04-08 01:28	1.5K
	IfProp_true.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	IfProp_true.con.types.xml.gz	2004-04-08 01:28	1.1K
	IfProp_true.con.xml.gz	2004-04-08 01:28	431
	Iffalse_inv.con.body.xml.gz	2004-04-08 01:28	915
	Iffalse_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	Iffalse_inv.con.types.xml.gz	2004-04-08 01:28	838
	Iffalse_inv.con.xml.gz	2004-04-08 01:28	501
	Iftrue_inv.con.body.xml.gz	2004-04-08 01:28	1.0K
	Iftrue_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Iftrue_inv.con.types.xml.gz	2004-04-08 01:28	866
	Iftrue_inv.con.xml.gz	2004-04-08 01:28	502