Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!auspex!guy
From: guy@auspex.auspex.com (Guy Harris)
Newsgroups: comp.os.mach
Subject: Re: How many machines running Mach?
Message-ID: <7644@auspex.auspex.com>
Date: 6 May 91 23:17:27 GMT
References: <MORSE.91May3151838@quark.mpr.ca> <1991May4.165329.25624@risky.ecs.umass.edu> <28119@hydra.gatech.EDU>
Distribution: comp
Organization: Auspex Systems, Santa Clara
Lines: 6

>1) You can't do OSF/1 without Mach.  They are one in the same.

The first statement doesn't necessarily imply the second, if in the
second you mean "one and the same".  If OSF/1 has stuff in it that Mach,
as it comes from CMU, doesn't, the first statement would be true but the
second would be false....