From mjcg%cam.sri.com@ai.sri.com  Fri Feb 23 09:41:32 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA25256; Fri, 23 Feb 90 09:41:32 PST
Received: from Warbucks.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA00530; Fri, 23 Feb 90 09:45:56 PST
Received: from sunset.ai.sri.com by Warbucks.AI.SRI.COM with INTERNET ;
          Fri, 23 Feb 90 09:40:11 PST
Received: from cam.sri.com by sunset.ai.sri.com (4.1/4.16)
        id AA29766 for info-hol@clover.ucdavis.edu; Fri, 23 Feb 90 09:41:31 PST
Received: from denbigh.cam.sri.com by cam.sri.com (4.1/4.16)
        id AA26172 for info-hol@clover.ucdavis.edu; Fri, 23 Feb 90 17:40:39 GMT
Received: by denbigh.cam.sri.com (4.1/4.16)
        id AA02581 for info-hol@clover.ucdavis.edu; Fri, 23 Feb 90 17:40:32 GMT
Date: Fri, 23 Feb 90 17:40:32 GMT
From: mjcg%cam.sri.com@Warbucks.AI.SRI.COM (Mike Gordon)
Message-Id: <9002231740.AA02581@denbigh.cam.sri.com>
To: info-hol@clover.ucdavis.edu
In-Reply-To: Mr W Wong's message of Fri, 23 Feb 90 16:01:19 GMT <24742.9002231601@clover.warwick.ac.uk>


Unfortunately the text in TUTORIAL got out of phase with the code
distributed with HOL88.1.11. This was my fault (it was a result of the
panic to finish the documentation).

Anyone who is having problems with the Modular Arithmetic case study
should contact Elsa Gunter for advice (note however that the mix up is
my fault not hers). Her email address is:

   elsa@edu.upenn.cis.linc

The next release of HOL (HOL88.1.12) should contain a library
consistent with the documentation.

Apologies to all ...

Mike Gordon


