ICL Proof Tool Newsletter

Article View: comp.specification.z

Article #37

Back to comp.specification.z Previous Next

#37

From: I.C.L.Hol
Date: Mon, 06 Apr 1992 17:21

34 lines
1903 bytes

         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

Technical Details

Message-ID: <9204071003.AA02224@topaz.comlab.ox.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!I.C.L.Hol

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!I.C.L.Hol
From: I.C.L.Hol@win0109.wins.icl.co.uk
Newsgroups: comp.specification.z
Subject: ICL Proof Tool Newsletter
Message-ID: <9204071003.AA02224@topaz.comlab.ox.ac.uk>
Date: 6 Apr 92 17:21:24 GMT
Sender: daemon@comlab.ox.ac.uk
Lines: 34
X400-Received: by mta eros.uknet.ac.uk in /PRMD=UK.AC/ADMD=GOLD 400/C=GB/;
X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; converted (ia5); Relayed;
X400-Originator: I.C.L.Hol@uk.co.icl.wins.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
Original-Message-Id: <"12*/I=ICL/S=Hol/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS>
X-Mailer: mail-news 2.0.3