Index of /xml/Rocq/ALGEBRA/SETOID/Setoid

	Name	Last modified	Size	Description
	Parent Directory		-
	Trans.con.xml.gz	2004-04-08 14:39	541
	Trans.con.types.xml.gz	2004-04-08 14:39	968
	Trans.con.body.xml.gz	2004-04-08 14:39	590
	Total.con.xml.gz	2004-04-08 14:39	376
	Total.con.types.xml.gz	2004-04-08 14:39	200
	Total.con.body.xml.gz	2004-04-08 14:39	417
	Sym.con.xml.gz	2004-04-08 14:39	479
	Sym.con.types.xml.gz	2004-04-08 14:39	848
	Sym.con.body.xml.gz	2004-04-08 14:39	586
	Setoid_rect.con.xml.gz	2004-04-08 14:39	695
	Setoid_rect.con.types.xml.gz	2004-04-08 14:39	209
	Setoid_rect.con.body.xml.gz	2004-04-08 14:39	826
	Setoid_rec.con.xml.gz	2004-04-08 14:39	696
	Setoid_rec.con.types.xml.gz	2004-04-08 14:39	207
	Setoid_rec.con.body.xml.gz	2004-04-08 14:39	414
	Setoid_ind.con.xml.gz	2004-04-08 14:39	700
	Setoid_ind.con.types.xml.gz	2004-04-08 14:39	884
	Setoid_ind.con.body.xml.gz	2004-04-08 14:39	415
	Setoid.ind.xml.gz	2004-04-08 14:39	560
	Setoid.ind.types.xml.gz	2004-04-08 14:39	199
	Set_of_nat.con.xml.gz	2004-04-08 14:39	247
	Set_of_nat.con.types.xml.gz	2004-04-08 14:39	209
	Set_of_nat.con.body.xml.gz	2004-04-08 14:39	343
	Refl.con.xml.gz	2004-04-08 14:39	408
	Refl.con.types.xml.gz	2004-04-08 14:39	679
	Refl.con.body.xml.gz	2004-04-08 14:39	513
	Prf_equiv.con.xml.gz	2004-04-08 14:39	475
	Prf_equiv.con.types.xml.gz	2004-04-08 14:39	1.0K
	Prf_equiv.con.body.xml.gz	2004-04-08 14:39	751
	Prf_PER.con.xml.gz	2004-04-08 14:39	480
	Prf_PER.con.types.xml.gz	2004-04-08 14:39	1.0K
	Prf_PER.con.body.xml.gz	2004-04-08 14:39	756
	PSetoid_rect.con.xml.gz	2004-04-08 14:39	704
	PSetoid_rect.con.types.xml.gz	2004-04-08 14:39	212
	PSetoid_rect.con.body.xml.gz	2004-04-08 14:39	835
	PSetoid_rec.con.xml.gz	2004-04-08 14:39	707
	PSetoid_rec.con.types.xml.gz	2004-04-08 14:39	210
	PSetoid_rec.con.body.xml.gz	2004-04-08 14:39	416
	PSetoid_ind.con.xml.gz	2004-04-08 14:39	710
	PSetoid_ind.con.types.xml.gz	2004-04-08 14:39	893
	PSetoid_ind.con.body.xml.gz	2004-04-08 14:39	417
	PSetoid.ind.xml.gz	2004-04-08 14:39	567
	PSetoid.ind.types.xml.gz	2004-04-08 14:39	201
	PCarrier.con.xml.gz	2004-04-08 14:39	300
	PCarrier.con.types.xml.gz	2004-04-08 14:39	205
	PCarrier.con.body.xml.gz	2004-04-08 14:39	645
	Nat_rect.con.xml.gz	2004-04-08 14:39	544
	Nat_rect.con.types.xml.gz	2004-04-08 14:39	206
	Nat_rect.con.body.xml.gz	2004-04-08 14:39	886
	Nat_rec.con.xml.gz	2004-04-08 14:39	552
	Nat_rec.con.types.xml.gz	2004-04-08 14:39	204
	Nat_rec.con.body.xml.gz	2004-04-08 14:39	413
	Nat_ind.con.xml.gz	2004-04-08 14:39	554
	Nat_ind.con.types.xml.gz	2004-04-08 14:39	719
	Nat_ind.con.body.xml.gz	2004-04-08 14:39	414
	Nat.ind.xml.gz	2004-04-08 14:39	366
	Nat.ind.types.xml.gz	2004-04-08 14:39	196
	INDEX	2005-07-05 08:13	1.1K
	Equal.con.xml.gz	2004-04-08 14:39	428
	Equal.con.types.xml.gz	2004-04-08 14:39	200
	Equal.con.body.xml.gz	2004-04-08 14:39	698
	Eq_Nat_equiv.con.xml.gz	2004-04-08 14:39	356
	Eq_Nat_equiv.con.types.xml.gz	2004-04-08 14:39	1.3K
	Eq_Nat_equiv.con.body.xml.gz	2004-04-08 14:39	1.1K
	Eq_Nat.con.xml.gz	2004-04-08 14:39	310
	Eq_Nat.con.types.xml.gz	2004-04-08 14:39	203
	Eq_Nat.con.body.xml.gz	2004-04-08 14:39	400
	Coherence.con.xml.gz	2004-04-08 14:39	436
	Coherence.con.types.xml.gz	2004-04-08 14:39	207
	Coherence.con.body.xml.gz	2004-04-08 14:39	709
	Carrier.con.xml.gz	2004-04-08 14:39	297
	Carrier.con.types.xml.gz	2004-04-08 14:39	203
	Carrier.con.body.xml.gz	2004-04-08 14:39	636