Index of /xml/Coq/Relations/Rstar

	Name	Last modified	Size	Description
	Parent Directory		-
	Rstar/	2005-07-05 08:13	-
	Rstar.con.types.xml.gz	2004-04-08 01:34	194
	commut.con.types.xml.gz	2004-04-08 01:34	196
	Rstar'.con.types.xml.gz	2004-04-08 01:34	197
	Rstar.con.xml.gz	2004-04-08 01:34	303
	Rstar'.con.xml.gz	2004-04-08 01:34	306
	commut.con.xml.gz	2004-04-08 01:34	370
	Rstar_reflexive.con.xml.gz	2004-04-08 01:34	371
	Rstar'_reflexive.con.xml.gz	2004-04-08 01:34	376
	Rstar'_Rstar.con.xml.gz	2004-04-08 01:34	418
	Rstar_Rstar'.con.xml.gz	2004-04-08 01:34	420
	Rstar_R.con.xml.gz	2004-04-08 01:34	456
	Rstar'_R.con.xml.gz	2004-04-08 01:34	466
	Rstar_transitive.con.xml.gz	2004-04-08 01:34	474
	INDEX	2005-07-05 08:11	503
	Rstar'_Rstar.con.body.xml.gz	2004-04-08 01:34	561
	Rstar'_reflexive.con.body.xml.gz	2004-04-08 01:34	626
	Rstar'.con.body.xml.gz	2004-04-08 01:34	644
	Rstar_reflexive.con.body.xml.gz	2004-04-08 01:34	668
	Rstar.con.body.xml.gz	2004-04-08 01:34	672
	Rstar'_reflexive.con.types.xml.gz	2004-04-08 01:34	713
	Rstar_Rstar'.con.body.xml.gz	2004-04-08 01:34	747
	commut.con.body.xml.gz	2004-04-08 01:34	747
	Rstar'_R.con.body.xml.gz	2004-04-08 01:34	768
	Rstar_reflexive.con.types.xml.gz	2004-04-08 01:34	783
	Rstar'_reflexive.con.proof_tree.xml.gz	2004-04-09 18:52	819
	Rstar_reflexive.con.proof_tree.xml.gz	2004-04-09 18:52	821
	Rstar'_R.con.types.xml.gz	2004-04-08 01:34	855
	Rstar_R.con.body.xml.gz	2004-04-08 01:34	867
	Rstar'_Rstar.con.proof_tree.xml.gz	2004-04-09 18:52	938
	Rstar_transitive.con.body.xml.gz	2004-04-08 01:34	969
	Rstar_Rstar'.con.proof_tree.xml.gz	2004-04-09 18:52	1.0K
	Rstar'_Rstar.con.types.xml.gz	2004-04-08 01:34	1.0K
	Rstar'_R.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Rstar_R.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Rstar_transitive.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Rstar_Rstar'.con.types.xml.gz	2004-04-08 01:34	1.1K
	Rstar_R.con.types.xml.gz	2004-04-08 01:34	1.2K
	Rstar_transitive.con.types.xml.gz	2004-04-08 01:34	1.3K