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

	Name	Last modified	Size	Description
	Parent Directory		-
	singletonBag.var.xml.gz	2004-04-08 01:49	474
	singletonBag.var.types.xml.gz	2004-04-08 01:49	211
	leA_trans.var.xml.gz	2004-04-08 01:49	467
	leA_trans.var.types.xml.gz	2004-04-08 01:49	209
	leA_refl.var.xml.gz	2004-04-08 01:49	428
	leA_refl.var.types.xml.gz	2004-04-08 01:49	207
	leA_dec.var.xml.gz	2004-04-08 01:49	494
	leA_dec.var.types.xml.gz	2004-04-08 01:49	206
	leA_antisym.var.xml.gz	2004-04-08 01:49	465
	leA_antisym.var.types.xml.gz	2004-04-08 01:49	212
	leA.var.xml.gz	2004-04-08 01:49	310
	leA.var.types.xml.gz	2004-04-08 01:49	197
	gtA.var.xml.gz	2004-04-08 01:49	478
	gtA.var.types.xml.gz	2004-04-08 01:49	197
	eqA_dec.var.xml.gz	2004-04-08 01:49	494
	eqA_dec.var.types.xml.gz	2004-04-08 01:49	205
	eqA.var.xml.gz	2004-04-08 01:49	310
	eqA.var.types.xml.gz	2004-04-08 01:49	197
	emptyBag.var.xml.gz	2004-04-08 01:49	365
	emptyBag.var.types.xml.gz	2004-04-08 01:49	206
	INDEX	2005-07-05 08:13	408
	A.var.xml.gz	2004-04-08 01:49	198
	A.var.types.xml.gz	2004-04-08 01:49	194