/Jmakefile/1.1/Sat Jul 26 10:38:22 1997//Tghc-4-08-1
/Main.hs/1.1/Sat Jul 26 10:38:23 1997//Tghc-4-08-1
/PreludeClausify.hs/1.1/Sat Jul 26 10:38:23 1997//Tghc-4-08-1
/clausify003.stdin/1.1/Sat Jul 26 10:38:24 1997//Tghc-4-08-1
/clausify003.stdout/1.1/Sat Jul 26 10:38:25 1997//Tghc-4-08-1
D
