Index of /xml/Coq/Sorting/Sorting/defs

	Name	Last modified	Size	Description
	Parent Directory		-
	A.var.types.xml.gz	2004-04-08 01:49	187
	A.var.xml.gz	2004-04-08 01:49	198
	INDEX	2005-07-05 08:13	408
	emptyBag.var.types.xml.gz	2004-04-08 01:49	200
	emptyBag.var.xml.gz	2004-04-08 01:49	355
	eqA.var.types.xml.gz	2004-04-08 01:49	191
	eqA.var.xml.gz	2004-04-08 01:49	305
	eqA_dec.var.types.xml.gz	2004-04-08 01:49	198
	eqA_dec.var.xml.gz	2004-04-08 01:49	484
	gtA.var.types.xml.gz	2004-04-08 01:49	191
	gtA.var.xml.gz	2004-04-08 01:49	465
	leA.var.types.xml.gz	2004-04-08 01:49	191
	leA.var.xml.gz	2004-04-08 01:49	305
	leA_antisym.var.types.xml.gz	2004-04-08 01:49	206
	leA_antisym.var.xml.gz	2004-04-08 01:49	459
	leA_dec.var.types.xml.gz	2004-04-08 01:49	198
	leA_dec.var.xml.gz	2004-04-08 01:49	453
	leA_refl.var.types.xml.gz	2004-04-08 01:49	200
	leA_refl.var.xml.gz	2004-04-08 01:49	421
	leA_trans.var.types.xml.gz	2004-04-08 01:49	202
	leA_trans.var.xml.gz	2004-04-08 01:49	461
	singletonBag.var.types.xml.gz	2004-04-08 01:49	205
	singletonBag.var.xml.gz	2004-04-08 01:49	466