/Config.lhs/1.1/Mon Jan  8 20:00:10 1996//
/Env.lhs/1.1/Fri Mar 14 08:08:46 1997//
/GenExp.lhs/1.1/Fri Mar 14 08:08:46 1997//
/GenType.lhs/1.1/Mon Jan  8 20:00:10 1996//
/GenVal.lhs/1.1/Thu Jul 25 21:25:45 1996//
/Main.lhs/1.1/Wed Mar  8 14:21:53 2000//
/Types.lhs/1.1/Wed Nov 27 18:16:08 1996//
/Utils.lhs/1.1/Fri Mar 14 08:08:48 1997//
/hpg.stderr/1.1/Wed Oct  8 15:20:29 1997//
/hpg.stdout/1.1/Tue May  5 12:17:13 1998//
D
