EQV? note (tiny correction)

To: RRRS-AUTHORS@MC.LCS.MIT.EDU
Subject: EQV? note (tiny correction)
From: Jonathan A Rees <JAR@MC.LCS.MIT.EDU>
Date: Thu, 20 Feb 86 14:57:27 EST
In-reply-to: Msg of Thu 20 Feb 86 14:36:55 EST from Jonathan A Rees <JAR at MC.LCS.MIT.EDU>

I meant to say "implementation-independent," not "machine-independent."