Index of /xml/Coq/Relations/Newman

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