Index of /xml/Coq/Sets/Relations_1

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