Index of /xml/Coq/Logic/Classical_Prop

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