ICL Proof Tool Newsletter

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by I.C.L.Hol Mon, 06 Apr 1992 17:21

#37

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads