Index of /xml/Coq/Bool/Sumbool

	Name	Last modified	Size	Description
	Parent Directory		-
	bool_of_sumbool.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	sumbool_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	sumbool_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.8K
	bool_eq_ind.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	bool_eq_rec.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	sumbool_and.con.body.xml.gz	2004-04-08 01:28	1.4K
	sumbool_or.con.body.xml.gz	2004-04-08 01:28	1.4K
	bool_eq_ind.con.body.xml.gz	2004-04-08 01:28	1.2K
	bool_eq_rec.con.body.xml.gz	2004-04-08 01:28	1.2K
	bool_eq_ind.con.types.xml.gz	2004-04-08 01:28	1.1K
	sumbool_not.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	bool_of_sumbool.con.body.xml.gz	2004-04-08 01:28	1.0K
	sumbool_of_bool.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	sumbool_of_bool.con.body.xml.gz	2004-04-08 01:28	782
	sumbool_not.con.body.xml.gz	2004-04-08 01:28	622
	bool_of_sumbool.con.xml.gz	2004-04-08 01:28	595
	bool_eq_ind.con.xml.gz	2004-04-08 01:28	575
	bool_eq_rec.con.xml.gz	2004-04-08 01:28	574
	bool_of_sumbool.con.types.xml.gz	2004-04-08 01:28	566
	sumbool_of_bool.con.xml.gz	2004-04-08 01:28	448
	sumbool_and.con.types.xml.gz	2004-04-08 01:28	412
	sumbool_or.con.types.xml.gz	2004-04-08 01:28	407
	sumbool_of_bool.con.types.xml.gz	2004-04-08 01:28	388
	bool_eq_rec.con.types.xml.gz	2004-04-08 01:28	387
	INDEX	2005-07-05 08:10	384
	sumbool_and.con.xml.gz	2004-04-08 01:28	382
	sumbool_or.con.xml.gz	2004-04-08 01:28	381
	sumbool_not.con.xml.gz	2004-04-08 01:28	321
	sumbool_not.con.types.xml.gz	2004-04-08 01:28	200
	connectives/	2005-07-05 08:12	-