application/x-proofgeneral
	ext: thy v phx l lf lcm