Index of /ghcjs/test/nofib/spectral/clausify

	Name	Last modified	Size	Description
	Parent Directory		-
	Main.hs	2014-06-28 18:07	5.1K
	Main.out	2014-06-28 18:07	300
	Main.settings	2014-06-28 18:07	19