[cvs-nhc98] cvs commit: nhc98/tests/nofib/spectral/clausify Main.hs clausify.stdout