Mon Sep 18 17:08:30 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Minor tidying up
  Sun Aug  6 20:30:11 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Minor tidying up
    Tue Aug  1 08:51:40 EDT 2006  simonpj@microsoft.com