/Jmakefile/1.1/Sat Jul 26 10:38:05 1997//Tghc-4-08-1
/Main.hs/1.1/Sat Jul 26 10:38:06 1997//Tghc-4-08-1
/clausify000.stdin/1.1/Sat Jul 26 10:38:07 1997//Tghc-4-08-1
/clausify000.stdout/1.1/Sat Jul 26 10:38:08 1997//Tghc-4-08-1
D
