malcolm: Thu Jun 6 11:10:13 CEST 2002 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv15202 Added Files: HatBuiltin.hi Log Message: Oops, this wasn't obsolete after all. (Used in -T transformation.)