/Jmakefile/1.1/Sat Jul 26 10:38:10 1997//Tghc-4-08-1
/Main.hs/1.1/Sat Jul 26 10:38:11 1997//Tghc-4-08-1
/Main.hs-WithPrelude/1.1/Sat Jul 26 10:38:12 1997//Tghc-4-08-1
/PreludeClausify.hs/1.1/Sat Jul 26 10:38:13 1997//Tghc-4-08-1
/clausify001.stdin/1.1/Sat Jul 26 10:38:13 1997//Tghc-4-08-1
/clausify001.stdout/1.1/Sat Jul 26 10:38:14 1997//Tghc-4-08-1
D
