/LambdaLift.lhs/1.1/Wed Mar  8 14:33:28 2000//
/Main.lhs/1.1/Wed Mar  8 14:34:30 2000//
/Print.lhs/1.1/Mon Jan  8 20:00:24 1996//
/Test.hs/1.1/Mon Jan  8 20:00:25 1996//
/Utilities.lhs/1.1/Wed Nov 27 18:16:24 1996//
/lift.stdout/1.1/Mon Jan  8 20:00:24 1996//
D
