Index of /xml/Coq/Logic/Classical_Prop

	Name	Last modified	Size	Description
	Parent Directory		-
	or_not_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	not_imply_elim.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	NNPP.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	and_not_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	or_to_imply.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	imply_to_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	not_or_and.con.types.xml.gz	2004-04-08 01:27	1.3K
	imply_and_or2.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	not_or_and.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	not_and_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.2K
	imply_to_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	imply_and_or.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	not_and_or.con.types.xml.gz	2004-04-08 01:27	1.0K
	or_not_and.con.types.xml.gz	2004-04-08 01:27	1.0K
	not_or_and.con.body.xml.gz	2004-04-08 01:27	1.0K
	not_imply_elim2.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	or_not_and.con.body.xml.gz	2004-04-08 01:27	944
	not_and_or.con.body.xml.gz	2004-04-08 01:27	927
	not_imply_elim.con.types.xml.gz	2004-04-08 01:27	900
	not_imply_elim.con.body.xml.gz	2004-04-08 01:27	865
	and_not_or.con.types.xml.gz	2004-04-08 01:27	860
	not_imply_elim2.con.types.xml.gz	2004-04-08 01:27	839
	imply_to_or.con.types.xml.gz	2004-04-08 01:27	786
	imply_to_or.con.body.xml.gz	2004-04-08 01:27	782
	and_not_or.con.body.xml.gz	2004-04-08 01:27	765
	NNPP.con.types.xml.gz	2004-04-08 01:27	743
	imply_and_or2.con.body.xml.gz	2004-04-08 01:27	739
	or_to_imply.con.body.xml.gz	2004-04-08 01:27	724
	proof_irrelevance.con.proof_tree.xml.gz	2004-04-09 18:52	705
	not_imply_elim2.con.body.xml.gz	2004-04-08 01:27	705
	imply_and_or2.con.types.xml.gz	2004-04-08 01:27	702
	INDEX	2005-07-05 08:11	697
	or_to_imply.con.types.xml.gz	2004-04-08 01:27	677
	NNPP.con.body.xml.gz	2004-04-08 01:27	669
	imply_to_and.con.body.xml.gz	2004-04-08 01:27	605
	imply_to_and.con.types.xml.gz	2004-04-08 01:27	587
	imply_and_or.con.body.xml.gz	2004-04-08 01:27	587
	imply_and_or.con.types.xml.gz	2004-04-08 01:27	513
	not_and_or.con.xml.gz	2004-04-08 01:27	470
	and_not_or.con.xml.gz	2004-04-08 01:27	470
	not_or_and.con.xml.gz	2004-04-08 01:27	467
	imply_and_or2.con.xml.gz	2004-04-08 01:27	466
	or_not_and.con.xml.gz	2004-04-08 01:27	465
	proof_irrelevance.con.types.xml.gz	2004-04-08 01:27	462
	imply_to_and.con.xml.gz	2004-04-08 01:27	460
	or_to_imply.con.xml.gz	2004-04-08 01:27	434
	imply_to_or.con.xml.gz	2004-04-08 01:27	433
	proof_irrelevance.con.xml.gz	2004-04-08 01:27	424
	imply_and_or.con.xml.gz	2004-04-08 01:27	423
	not_imply_elim2.con.xml.gz	2004-04-08 01:27	422
	not_imply_elim.con.xml.gz	2004-04-08 01:27	408
	classic.con.xml.gz	2004-04-08 01:27	373
	NNPP.con.xml.gz	2004-04-08 01:27	363
	proof_irrelevance.con.body.xml.gz	2004-04-08 01:27	328
	classic.con.types.xml.gz	2004-04-08 01:27	199