D/clausify000////
D/clausify001////
D/clausify002////
D/clausify003////
D/code001////
D/code002////
D/code003////
D/spec001////
D/spec002////
D/spec003////
/COMMENTS/1.1/Sat Jul 26 10:38:02 1997//Tghc-4-08-1
/Makefile/1.2/Fri Sep  5 14:16:21 1997//Tghc-4-08-1
/jmake.multi/1.1/Sat Jul 26 10:38:04 1997//Tghc-4-08-1
