Index of /WebDAV1/ilcsoft/builds/HEAD-2016-12-02/root/6.08.00/etc/proof/proofbench

	Name	Last modified	Size	Description
	Parent Directory		-
	ProofBenchCPUSel.par	2016-12-01 13:59	4.2K
	ProofBenchDataSel.par	2016-12-01 13:59	16K
	README	2016-12-01 13:58	135