--rw-r--r-- M 53 fernan sys 5149 Sep 19 2009 Main.hs --rw-r--r-- M 53 fernan sys 42 Sep 19 2009 clausify.stdout Go to parent directory