Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Mon, 22 Feb 1993 14:51:18 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09823;
          Mon, 22 Feb 93 06:30:57 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from relay.pipex.net by ted.cs.uidaho.edu (16.6/1.34) id AA09818;
          Mon, 22 Feb 93 06:30:50 -0800
Received: from Q.icl.co.uk by relay.pipex.net with SMTP (PP) 
          id <17286-0@relay.pipex.net>; Mon, 22 Feb 1993 14:29:13 +0000
Received: from eccles.dsbc.icl.co.uk by Q.icl.co.uk id AA06942;
          Mon, 22 Feb 93 14:31:23 GMT
Received: from ozz.oasis.icl.co.uk on eccles.dsbc.icl.co.uk id AA14661;
          Mon, 22 Feb 93 14:28:43 GMT
Received: on ozz.oasis.icl.co.uk over UUCP id AA19579;
          Mon, 22 Feb 93 14:30:29 GMT
Received: from wilfrid by iclbra.oasis.icl.co.uk (4.14/) id AA01763;
          Mon, 22 Feb 93 14:30:05 gmt
From: Roger Jones <rbj@uk.co.icl.win>
Date: Mon, 22 Feb 93 14:27:05 GMT
Message-Id: <9302221427.3038.20@win.icl.co.uk>
To: info-hol@edu.uidaho.cs.ted, zforum@uk.ac.ox.comlab
Subject: ProofPower courses, 23-25 March

Courses on proof in HOL and in Z using ProofPower
to be held on 23-24 and 24-25 March respectively
(at Reading) are not yet fully booked.

Anyone not aware of these courses who would like details
should apply to:

R.B.Jones@win0109.wins.icl.co.uk

Roger Jones
International Computers Limited,
Eskdale Road,
Winnersh,
Wokingham,
READING RG11 5TT

Tel +44 734 693131 x6536