Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <22092-0@swan.cl.cam.ac.uk>; Mon, 6 Apr 1992 21:39:38 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06849;
          Mon, 6 Apr 92 13:27:20 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from eros.uknet.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA06845;
          Mon, 6 Apr 92 13:27:04 -0700
X400-Received: by mta eros.uknet.ac.uk in /PRMD=UK.AC/ADMD=GOLD 400/C=GB/;
               Relayed; Mon, 6 Apr 1992 18:42:59 +0100
X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; converted (ia5); Relayed;
               Mon, 6 Apr 1992 18:21:24 +0100
Date: Mon, 6 Apr 1992 18:21:24 +0100
X400-Originator: I.C.L.Hol@uucp.win0109
X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000013400000012]
Original-Encoded-Information-Types: undefined
X400-Content-Type: P2-1984 (2)
Content-Identifier: 12
From: I.C.L.Hol@uucp.win0109
Message-Id: <"12*/I=ICL/S=Hol/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS>
To: info-hol@edu.uidaho.cs.ted, zforum-request@uk.ac.ox.prg
Subject: ICL Proof Tool Newsletter








         ICL PROOF TOOL for HOL and Z (and SAL, and modal logics....)

         The second newsletter on the above topic has recently been
         distributed to most of those who asked to be put on the
         distribution list.

         I was unable to get the newsletter through to the following
         people:

              David Carrington
              Paul Jackson
              Sara Kalvala
              Ludwig Hausen

         whose addresses may have changed since the first newletter, could
         they possibly offer me an up-to-date address?

         Any new readers of info-hol or comp.specification.z who would like
         to receive the above newsletter should send either (or all of) an
         email address, a fax number or a postal address to:

              I.C.L.Hol@win0109.uucp
         or   I.C.L.Hol@win0109.wins.icl.co.uk

         or to:

              R.B.Jones
              International Computers Limited
              Eskdale Road
              Winnersh
              Wokingham
              Berks RG11 5TT
              England