Index of /xml/Rocq/HIGMAN/Higman/Higman_/Formal_Higman/Badfx_/Xn_decreases_

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:14	78
	P.var.types.xml.gz	2004-04-09 01:16	216
	P.var.xml.gz	2004-04-09 01:16	565
	n.var.types.xml.gz	2004-04-09 01:16	215
	n.var.xml.gz	2004-04-09 01:16	227
	q.var.types.xml.gz	2004-04-09 01:16	216
	q.var.xml.gz	2004-04-09 01:16	227