Index of /xml/Coq/Relations/Relation_Definitions

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	1.7K
	PER.ind.types.xml.gz	2004-04-08 01:34	195
	PER.ind.xml.gz	2004-04-08 01:34	426
	PER_ind.con.body.xml.gz	2004-04-08 01:34	375
	PER_ind.con.types.xml.gz	2004-04-08 01:34	496
	PER_ind.con.xml.gz	2004-04-08 01:34	425
	PER_rec.con.body.xml.gz	2004-04-08 01:34	371
	PER_rec.con.types.xml.gz	2004-04-08 01:34	202
	PER_rec.con.xml.gz	2004-04-08 01:34	431
	PER_rect.con.body.xml.gz	2004-04-08 01:34	538
	PER_rect.con.types.xml.gz	2004-04-08 01:34	204
	PER_rect.con.xml.gz	2004-04-08 01:34	429
	Relation_Definition/	2005-07-05 08:12	-
	antisymmetric.con.body.xml.gz	2004-04-08 01:34	494
	antisymmetric.con.types.xml.gz	2004-04-08 01:34	212
	antisymmetric.con.xml.gz	2004-04-08 01:34	252
	commut.con.body.xml.gz	2004-04-08 01:34	694
	commut.con.types.xml.gz	2004-04-08 01:34	201
	commut.con.xml.gz	2004-04-08 01:34	312
	equiv.con.body.xml.gz	2004-04-08 01:34	360
	equiv.con.types.xml.gz	2004-04-08 01:34	199
	equiv.con.xml.gz	2004-04-08 01:34	241
	equiv_refl.con.body.xml.gz	2004-04-08 01:34	562
	equiv_refl.con.types.xml.gz	2004-04-08 01:34	421
	equiv_refl.con.xml.gz	2004-04-08 01:34	337
	equiv_sym.con.body.xml.gz	2004-04-08 01:34	565
	equiv_sym.con.types.xml.gz	2004-04-08 01:34	423
	equiv_sym.con.xml.gz	2004-04-08 01:34	336
	equiv_trans.con.body.xml.gz	2004-04-08 01:34	569
	equiv_trans.con.types.xml.gz	2004-04-08 01:34	423
	equiv_trans.con.xml.gz	2004-04-08 01:34	338
	equivalence.ind.types.xml.gz	2004-04-08 01:34	208
	equivalence.ind.xml.gz	2004-04-08 01:34	459
	equivalence_ind.con.body.xml.gz	2004-04-08 01:34	389
	equivalence_ind.con.types.xml.gz	2004-04-08 01:34	540
	equivalence_ind.con.xml.gz	2004-04-08 01:34	459
	equivalence_rec.con.body.xml.gz	2004-04-08 01:34	385
	equivalence_rec.con.types.xml.gz	2004-04-08 01:34	216
	equivalence_rec.con.xml.gz	2004-04-08 01:34	466
	equivalence_rect.con.body.xml.gz	2004-04-08 01:34	571
	equivalence_rect.con.types.xml.gz	2004-04-08 01:34	217
	equivalence_rect.con.xml.gz	2004-04-08 01:34	459
	inclusion.con.body.xml.gz	2004-04-08 01:34	489
	inclusion.con.types.xml.gz	2004-04-08 01:34	204
	inclusion.con.xml.gz	2004-04-08 01:34	316
	ord_antisym.con.body.xml.gz	2004-04-08 01:34	565
	ord_antisym.con.types.xml.gz	2004-04-08 01:34	425
	ord_antisym.con.xml.gz	2004-04-08 01:34	335
	ord_refl.con.body.xml.gz	2004-04-08 01:34	558
	ord_refl.con.types.xml.gz	2004-04-08 01:34	416
	ord_refl.con.xml.gz	2004-04-08 01:34	330
	ord_trans.con.body.xml.gz	2004-04-08 01:34	565
	ord_trans.con.types.xml.gz	2004-04-08 01:34	418
	ord_trans.con.xml.gz	2004-04-08 01:34	330
	order.ind.types.xml.gz	2004-04-08 01:34	198
	order.ind.xml.gz	2004-04-08 01:34	451
	order_ind.con.body.xml.gz	2004-04-08 01:34	378
	order_ind.con.types.xml.gz	2004-04-08 01:34	528
	order_ind.con.xml.gz	2004-04-08 01:34	450
	order_rec.con.body.xml.gz	2004-04-08 01:34	374
	order_rec.con.types.xml.gz	2004-04-08 01:34	205
	order_rec.con.xml.gz	2004-04-08 01:34	458
	order_rect.con.body.xml.gz	2004-04-08 01:34	564
	order_rect.con.types.xml.gz	2004-04-08 01:34	207
	order_rect.con.xml.gz	2004-04-08 01:34	452
	per_sym.con.body.xml.gz	2004-04-08 01:34	534
	per_sym.con.types.xml.gz	2004-04-08 01:34	399
	per_sym.con.xml.gz	2004-04-08 01:34	328
	per_trans.con.body.xml.gz	2004-04-08 01:34	540
	per_trans.con.types.xml.gz	2004-04-08 01:34	401
	per_trans.con.xml.gz	2004-04-08 01:34	330
	preord_refl.con.body.xml.gz	2004-04-08 01:34	536
	preord_refl.con.types.xml.gz	2004-04-08 01:34	402
	preord_refl.con.xml.gz	2004-04-08 01:34	335
	preord_trans.con.body.xml.gz	2004-04-08 01:34	542
	preord_trans.con.types.xml.gz	2004-04-08 01:34	404
	preord_trans.con.xml.gz	2004-04-08 01:34	336
	preorder.ind.types.xml.gz	2004-04-08 01:34	203
	preorder.ind.xml.gz	2004-04-08 01:34	433
	preorder_ind.con.body.xml.gz	2004-04-08 01:34	382
	preorder_ind.con.types.xml.gz	2004-04-08 01:34	503
	preorder_ind.con.xml.gz	2004-04-08 01:34	431
	preorder_rec.con.body.xml.gz	2004-04-08 01:34	380
	preorder_rec.con.types.xml.gz	2004-04-08 01:34	210
	preorder_rec.con.xml.gz	2004-04-08 01:34	440
	preorder_rect.con.body.xml.gz	2004-04-08 01:34	543
	preorder_rect.con.types.xml.gz	2004-04-08 01:34	212
	preorder_rect.con.xml.gz	2004-04-08 01:34	437
	reflexive.con.body.xml.gz	2004-04-08 01:34	370
	reflexive.con.types.xml.gz	2004-04-08 01:34	205
	reflexive.con.xml.gz	2004-04-08 01:34	247
	relation.con.body.xml.gz	2004-04-08 01:34	317
	relation.con.types.xml.gz	2004-04-08 01:34	201
	relation.con.xml.gz	2004-04-08 01:34	234
	same_relation.con.body.xml.gz	2004-04-08 01:34	460
	same_relation.con.types.xml.gz	2004-04-08 01:34	209
	same_relation.con.xml.gz	2004-04-08 01:34	322
	symmetric.con.body.xml.gz	2004-04-08 01:34	424
	symmetric.con.types.xml.gz	2004-04-08 01:34	205
	symmetric.con.xml.gz	2004-04-08 01:34	248
	transitive.con.body.xml.gz	2004-04-08 01:34	465
	transitive.con.types.xml.gz	2004-04-08 01:34	206
	transitive.con.xml.gz	2004-04-08 01:34	248