Index of /xml/Coq/Relations/Newman

	Name	Last modified	Size	Description
	Parent Directory		-
	Diagram.con.body.xml.gz	2004-04-08 01:34	1.6K
	Diagram.con.proof_tree.xml.gz	2004-04-09 18:52	1.9K
	Diagram.con.types.xml.gz	2004-04-08 01:34	1.6K
	Diagram.con.xml.gz	2004-04-08 01:34	513
	INDEX	2005-07-05 08:11	561
	Ind_proof.con.body.xml.gz	2004-04-08 01:34	777
	Ind_proof.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	Ind_proof.con.types.xml.gz	2004-04-08 01:34	692
	Ind_proof.con.xml.gz	2004-04-08 01:34	373
	Newman.con.body.xml.gz	2004-04-08 01:34	863
	Newman.con.proof_tree.xml.gz	2004-04-09 18:52	1.3K
	Newman.con.types.xml.gz	2004-04-08 01:34	1.0K
	Newman.con.xml.gz	2004-04-08 01:34	404
	Newman/	2005-07-05 08:12	-
	Rstar_coherence.con.body.xml.gz	2004-04-08 01:34	515
	Rstar_coherence.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Rstar_coherence.con.types.xml.gz	2004-04-08 01:34	608
	Rstar_coherence.con.xml.gz	2004-04-08 01:34	443
	caseRxy.con.body.xml.gz	2004-04-08 01:34	621
	caseRxy.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	caseRxy.con.types.xml.gz	2004-04-08 01:34	815
	caseRxy.con.xml.gz	2004-04-08 01:34	383
	coherence.con.body.xml.gz	2004-04-08 01:34	445
	coherence.con.types.xml.gz	2004-04-08 01:34	201
	coherence.con.xml.gz	2004-04-08 01:34	318
	coherence_intro.con.body.xml.gz	2004-04-08 01:34	618
	coherence_intro.con.proof_tree.xml.gz	2004-04-09 18:52	1.5K
	coherence_intro.con.types.xml.gz	2004-04-08 01:34	636
	coherence_intro.con.xml.gz	2004-04-08 01:34	480
	coherence_sym.con.body.xml.gz	2004-04-08 01:34	735
	coherence_sym.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	coherence_sym.con.types.xml.gz	2004-04-08 01:34	762
	coherence_sym.con.xml.gz	2004-04-08 01:34	431
	confluence.con.body.xml.gz	2004-04-08 01:34	508
	confluence.con.types.xml.gz	2004-04-08 01:34	203
	confluence.con.xml.gz	2004-04-08 01:34	309
	local_confluence.con.body.xml.gz	2004-04-08 01:34	521
	local_confluence.con.types.xml.gz	2004-04-08 01:34	214
	local_confluence.con.xml.gz	2004-04-08 01:34	322
	noetherian.con.body.xml.gz	2004-04-08 01:34	566
	noetherian.con.types.xml.gz	2004-04-08 01:34	203
	noetherian.con.xml.gz	2004-04-08 01:34	242