From esww%eng.warwick.ac.uk@NSFnet-Relay.AC.UK  Tue May  1 01:29:26 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA02156; Tue, 1 May 90 01:29:26 PDT
Received: from ucdavis.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA04289; Tue, 1 May 90 01:34:30 PDT
Received: from NSFNET-RELAY.AC.UK by ucdavis.ucdavis.edu (5.61/UCD2.03)
        id AA01902; Tue, 1 May 90 01:27:17 -0700
Received: from sun.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK
           via Janet with NIFTP  id aa02998; 1 May 90 9:05 BST
Received: from condor.warwick.ac.uk (condor.eng.warwick.ac.uk) by eagle.eng.warwick.ac.uk; Tue, 1 May 90 09:11:32 BST
Date: Tue, 1 May 90 09:11:39 BST
From: esww%eng.warwick.ac.uk@NSFnet-Relay.AC.UK
Message-Id: <11837.9005010811@condor.warwick.ac.uk>
To: info-hol <@NSFnet-Relay.AC.UK:info-hol@clover.ucdavis.edu>
Subject: MATCH_MP_IMP_TAC

RE: Allan Stavely's recent query about MATCH_IMP_MP_TAC.

Following up the above query and the message from tfm (Tom Melham),
I am pleased to tell you that I have got a patch to HOL.1.11.  Elsa
gave this to me sometimes ago. If anyone wants a copy, especially
those in UK and europe, send me a message. I'll send you the patch.
I hope Elsa wouldn't mind me doing this.

My mail address is: esww@uk.ac.warwick.eagle or
 esww%warwick.eng@uk.ac.warwick.cu.

 Wai Wong
 Dept. of Engineering, University of Warwick, Coventry, England.




