Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 2 Dec 1992 09:59:14 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA13645; Wed, 2 Dec 92 01:38:28 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ben.uknet.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA13640; Wed, 2 Dec 92 01:38:19 -0800 Received: from eros.uknet.ac.uk by ben.uknet.ac.uk via UKIP with SMTP (PP) id ; Wed, 2 Dec 1992 09:28:06 +0000 X400-Received: by mta eros.uknet.ac.uk in /PRMD=UK.AC/ADMD=GOLD 400/C=GB/; Relayed; Wed, 2 Dec 1992 09:27:46 +0000 X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; converted (ia5); Relayed; Wed, 2 Dec 1992 09:25:33 +0000 Date: Wed, 2 Dec 1992 09:25:33 +0000 X400-Originator: I.C.L.Hol@uucp.win0109 X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000013400000168] Original-Encoded-Information-Types: undefined X400-Content-Type: P2-1984 (2) Content-Identifier: 168 From: I.C.L.Hol@uucp.win0109 Message-Id: <"168*/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: ProofPower courses and trial/evaluation licences ProofPower TRIAL/EVALUATION PACKAGES ==================================== Specification and Proof in HOL using ProofPower Specification and Proof in Z using ProofPower Packages including the above one day courses (at Reading University, UK) and three month trial/evaluation licences for ProofPower are currently on offer. If you have not received details of these but would like to, please mail: R.B.Jones@win0109.uucp (or R.B.Jones%win0109.uucp@uknet.ac.uk)