Index of /~dons/code/nobench/spectral/clausify 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        15-Jun-2007 16:13      -  
[   ] clausify.hs             23-Feb-2007 15:58     5k  
[   ] clausify.expected       23-Feb-2007 15:58     1k  
[   ] Makefile                27-Feb-2007 20:03     1k
Apache/1.3.34 Server at www.cse.unsw.edu.au Port 80