Index of /xml/Rocq/HIGMAN/Higman/Higman_/Formal_Higman/infinitely_many_

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:14	102
	exi_imh.var.types.xml.gz	2004-04-09 01:16	221
	exi_imh.var.xml.gz	2004-04-09 01:16	340
	h.var.types.xml.gz	2004-04-09 01:16	212
	h.var.xml.gz	2004-04-09 01:16	319
	thick_h.var.types.xml.gz	2004-04-09 01:16	222
	thick_h.var.xml.gz	2004-04-09 01:16	310