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

	Name	Last modified	Size	Description
	Parent Directory		-
	A.var.types.xml.gz	2004-04-08 01:49	189
	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	201
	emptyBag.var.xml.gz	2004-04-08 01:49	360
	eqA.var.types.xml.gz	2004-04-08 01:49	193
	eqA.var.xml.gz	2004-04-08 01:49	306
	eqA_dec.var.types.xml.gz	2004-04-08 01:49	200
	eqA_dec.var.xml.gz	2004-04-08 01:49	488
	gtA.var.types.xml.gz	2004-04-08 01:49	193
	gtA.var.xml.gz	2004-04-08 01:49	473
	leA.var.types.xml.gz	2004-04-08 01:49	193
	leA.var.xml.gz	2004-04-08 01:49	306
	leA_antisym.var.types.xml.gz	2004-04-08 01:49	207
	leA_antisym.var.xml.gz	2004-04-08 01:49	461
	leA_dec.var.types.xml.gz	2004-04-08 01:49	200
	leA_dec.var.xml.gz	2004-04-08 01:49	455
	leA_refl.var.types.xml.gz	2004-04-08 01:49	202
	leA_refl.var.xml.gz	2004-04-08 01:49	425
	leA_trans.var.types.xml.gz	2004-04-08 01:49	204
	leA_trans.var.xml.gz	2004-04-08 01:49	464
	singletonBag.var.types.xml.gz	2004-04-08 01:49	207
	singletonBag.var.xml.gz	2004-04-08 01:49	470