(* Copyright (C) 1989, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* File: Target.m3.IBMRT *) (* Last Modified On Fri May 18 00:43:51 1990 By muller *) (* Modified On Fri Jun 30 11:30:45 1989 By kalsow *) MODULE Target (* for IBMRT *); BEGIN END Target.