Index of /xml/Coq/Logic/Decidable

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	575
	dec_False.con.body.xml.gz	2004-04-08 01:27	415
	dec_False.con.proof_tree.xml.gz	2004-04-09 18:52	603
	dec_False.con.types.xml.gz	2004-04-08 01:27	440
	dec_False.con.xml.gz	2004-04-08 01:27	289
	dec_True.con.body.xml.gz	2004-04-08 01:27	349
	dec_True.con.proof_tree.xml.gz	2004-04-09 18:52	639
	dec_True.con.types.xml.gz	2004-04-08 01:27	372
	dec_True.con.xml.gz	2004-04-08 01:27	286
	dec_and.con.body.xml.gz	2004-04-08 01:27	2.2K
	dec_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	dec_and.con.types.xml.gz	2004-04-08 01:27	2.6K
	dec_and.con.xml.gz	2004-04-08 01:27	458
	dec_imp.con.body.xml.gz	2004-04-08 01:27	1.8K
	dec_imp.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	dec_imp.con.types.xml.gz	2004-04-08 01:27	2.2K
	dec_imp.con.xml.gz	2004-04-08 01:27	434
	dec_not.con.body.xml.gz	2004-04-08 01:27	1.0K
	dec_not.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	dec_not.con.types.xml.gz	2004-04-08 01:27	1.2K
	dec_not.con.xml.gz	2004-04-08 01:27	394
	dec_not_not.con.body.xml.gz	2004-04-08 01:27	746
	dec_not_not.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	dec_not_not.con.types.xml.gz	2004-04-08 01:27	750
	dec_not_not.con.xml.gz	2004-04-08 01:27	449
	dec_or.con.body.xml.gz	2004-04-08 01:27	1.7K
	dec_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	dec_or.con.types.xml.gz	2004-04-08 01:27	2.2K
	dec_or.con.xml.gz	2004-04-08 01:27	452
	decidable.con.body.xml.gz	2004-04-08 01:27	393
	decidable.con.types.xml.gz	2004-04-08 01:27	197
	decidable.con.xml.gz	2004-04-08 01:27	258
	imp_simp.con.body.xml.gz	2004-04-08 01:27	1.0K
	imp_simp.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	imp_simp.con.types.xml.gz	2004-04-08 01:27	1.2K
	imp_simp.con.xml.gz	2004-04-08 01:27	480
	not_and.con.body.xml.gz	2004-04-08 01:27	1.7K
	not_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	not_and.con.types.xml.gz	2004-04-08 01:27	2.1K
	not_and.con.xml.gz	2004-04-08 01:27	497
	not_imp.con.body.xml.gz	2004-04-08 01:27	2.0K
	not_imp.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	not_imp.con.types.xml.gz	2004-04-08 01:27	2.3K
	not_imp.con.xml.gz	2004-04-08 01:27	491
	not_not.con.body.xml.gz	2004-04-08 01:27	703
	not_not.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	not_not.con.types.xml.gz	2004-04-08 01:27	792
	not_not.con.xml.gz	2004-04-08 01:27	410
	not_or.con.body.xml.gz	2004-04-08 01:27	1.2K
	not_or.con.proof_tree.xml.gz	2004-04-09 18:52	810
	not_or.con.types.xml.gz	2004-04-08 01:27	1.4K
	not_or.con.xml.gz	2004-04-08 01:27	466