/closure.ps/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/closure.tex/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/hugs_ret.pstex/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/hugs_ret.pstex_t/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/hugs_ret2.pstex/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/hugs_ret2.pstex_t/1.1/Mon Aug  2 16:01:31 1999//Tghc-5-02-2
/rts.tex/1.1/Tue May 23 16:52:50 2000//Tghc-5-02-2
D
