Index of /xml/Coq/Bool/Zerob

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:10	283
	zerob.con.body.xml.gz	2004-04-08 01:28	488
	zerob.con.types.xml.gz	2004-04-08 01:28	190
	zerob.con.xml.gz	2004-04-08 01:28	283
	zerob_false_elim.con.body.xml.gz	2004-04-08 01:28	1.9K
	zerob_false_elim.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	zerob_false_elim.con.types.xml.gz	2004-04-08 01:28	1.7K
	zerob_false_elim.con.xml.gz	2004-04-08 01:28	514
	zerob_false_intro.con.body.xml.gz	2004-04-08 01:28	1.0K
	zerob_false_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	zerob_false_intro.con.types.xml.gz	2004-04-08 01:28	1.1K
	zerob_false_intro.con.xml.gz	2004-04-08 01:28	520
	zerob_true_elim.con.body.xml.gz	2004-04-08 01:28	1.8K
	zerob_true_elim.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	zerob_true_elim.con.types.xml.gz	2004-04-08 01:28	1.7K
	zerob_true_elim.con.xml.gz	2004-04-08 01:28	488
	zerob_true_intro.con.body.xml.gz	2004-04-08 01:28	1.7K
	zerob_true_intro.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	zerob_true_intro.con.types.xml.gz	2004-04-08 01:28	1.8K
	zerob_true_intro.con.xml.gz	2004-04-08 01:28	483