malcolm: Fri May 25 13:19:01 CEST 2001 Update of /usr/src/master/nhc/src/prelude/GreenCard In directory hinken:/tmp/cvs-serv8306 Modified Files: GreenCard.gc Log Message: Type 'Addr' should be exported by GreenCard library, and it should also define a "%dis addr".