Mon Sep 18 14:47:19 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Comment
  Sat Aug  5 21:44:13 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Comment
    Fri Jul 14 12:49:37 EDT 2006  simonpj@microsoft.com