Index of /xml/Coq/Sets/Relations_1

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