/Jmakefile/1.1/Sat Jul 26 10:38:17 1997//Tghc-4-08-1
/Main.hs/1.1/Sat Jul 26 10:38:17 1997//Tghc-4-08-1
/PreludeClausify.hs/1.1/Sat Jul 26 10:38:18 1997//Tghc-4-08-1
/clausify002.stdin/1.1/Sat Jul 26 10:38:19 1997//Tghc-4-08-1
/clausify002.stdout/1.1/Sat Jul 26 10:38:20 1997//Tghc-4-08-1
D
