Index of /xml/Coq/Sets/Relations_1

	Name	Last modified	Size	Description
	Parent Directory		-
	same_relation.con.xml.gz	2004-04-08 01:32	317
	same_relation.con.types.xml.gz	2004-04-08 01:32	207
	same_relation.con.body.xml.gz	2004-04-08 01:32	456
	contains.con.xml.gz	2004-04-08 01:32	309
	contains.con.types.xml.gz	2004-04-08 01:32	200
	contains.con.body.xml.gz	2004-04-08 01:32	483
	Transitive.con.xml.gz	2004-04-08 01:32	243
	Transitive.con.types.xml.gz	2004-04-08 01:32	204
	Transitive.con.body.xml.gz	2004-04-08 01:32	460
	Symmetric.con.xml.gz	2004-04-08 01:32	242
	Symmetric.con.types.xml.gz	2004-04-08 01:32	202
	Symmetric.con.body.xml.gz	2004-04-08 01:32	418
	Relations_1/	2005-07-05 08:13	-
	Relation.con.xml.gz	2004-04-08 01:32	229
	Relation.con.types.xml.gz	2004-04-08 01:32	197
	Relation.con.body.xml.gz	2004-04-08 01:32	310
	Reflexive.con.xml.gz	2004-04-08 01:32	242
	Reflexive.con.types.xml.gz	2004-04-08 01:32	202
	Reflexive.con.body.xml.gz	2004-04-08 01:32	364
	Preorder_rect.con.xml.gz	2004-04-08 01:32	429
	Preorder_rect.con.types.xml.gz	2004-04-08 01:32	209
	Preorder_rect.con.body.xml.gz	2004-04-08 01:32	536
	Preorder_rec.con.xml.gz	2004-04-08 01:32	431
	Preorder_rec.con.types.xml.gz	2004-04-08 01:32	207
	Preorder_rec.con.body.xml.gz	2004-04-08 01:32	373
	Preorder_ind.con.xml.gz	2004-04-08 01:32	423
	Preorder_ind.con.types.xml.gz	2004-04-08 01:32	500
	Preorder_ind.con.body.xml.gz	2004-04-08 01:32	376
	Preorder.ind.xml.gz	2004-04-08 01:32	415
	Preorder.ind.types.xml.gz	2004-04-08 01:32	200
	PER_rect.con.xml.gz	2004-04-08 01:32	423
	PER_rect.con.types.xml.gz	2004-04-08 01:32	201
	PER_rect.con.body.xml.gz	2004-04-08 01:32	532
	PER_rec.con.xml.gz	2004-04-08 01:32	426
	PER_rec.con.types.xml.gz	2004-04-08 01:32	199
	PER_rec.con.body.xml.gz	2004-04-08 01:32	365
	PER_ind.con.xml.gz	2004-04-08 01:32	418
	PER_ind.con.types.xml.gz	2004-04-08 01:32	493
	PER_ind.con.body.xml.gz	2004-04-08 01:32	368
	PER.ind.xml.gz	2004-04-08 01:32	409
	PER.ind.types.xml.gz	2004-04-08 01:32	192
	Order_rect.con.xml.gz	2004-04-08 01:32	446
	Order_rect.con.types.xml.gz	2004-04-08 01:32	204
	Order_rect.con.body.xml.gz	2004-04-08 01:32	556
	Order_rec.con.xml.gz	2004-04-08 01:32	450
	Order_rec.con.types.xml.gz	2004-04-08 01:32	202
	Order_rec.con.body.xml.gz	2004-04-08 01:32	369
	Order_ind.con.xml.gz	2004-04-08 01:32	444
	Order_ind.con.types.xml.gz	2004-04-08 01:32	526
	Order_ind.con.body.xml.gz	2004-04-08 01:32	372
	Order.ind.xml.gz	2004-04-08 01:32	432
	Order.ind.types.xml.gz	2004-04-08 01:32	195
	INDEX	2005-07-05 08:11	1.1K
	Equivalence_rect.con.xml.gz	2004-04-08 01:32	453
	Equivalence_rect.con.types.xml.gz	2004-04-08 01:32	214
	Equivalence_rect.con.body.xml.gz	2004-04-08 01:32	563
	Equivalence_rec.con.xml.gz	2004-04-08 01:32	458
	Equivalence_rec.con.types.xml.gz	2004-04-08 01:32	213
	Equivalence_rec.con.body.xml.gz	2004-04-08 01:32	379
	Equivalence_ind.con.xml.gz	2004-04-08 01:32	450
	Equivalence_ind.con.types.xml.gz	2004-04-08 01:32	532
	Equivalence_ind.con.body.xml.gz	2004-04-08 01:32	382
	Equivalence.ind.xml.gz	2004-04-08 01:32	438
	Equivalence.ind.types.xml.gz	2004-04-08 01:32	205
	Antisymmetric.con.xml.gz	2004-04-08 01:32	248
	Antisymmetric.con.types.xml.gz	2004-04-08 01:32	209
	Antisymmetric.con.body.xml.gz	2004-04-08 01:32	487