Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <04605-0@swan.cl.cam.ac.uk>; Wed, 8 Apr 1992 16:57:08 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19868; Wed, 8 Apr 92 08:38:48 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from [137.158.128.1] by ted.cs.uidaho.edu (16.6/1.34) id AA19864; Wed, 8 Apr 92 08:36:40 -0700 Received: by ucthpx.uct.ac.za (/\==/\ Smail3.1.24.1 #24.2) id m0lYW2N-000O3kC; Wed, 8 Apr 92 08:21 SAST Received: from Uctvax.UCT.AC.ZA by Uctvax.UCT.AC.ZA (PMDF #12567) id <01GICN4XD8BK90MZPS@Uctvax.UCT.AC.ZA>; Wed, 1 Apr 1992 23:30 +0200 Date: Wed, 1 Apr 1992 23:30 +0200 From: TRDGAV01@ZA.AC.UCT.Uctvax Subject: HOL Mailing List To: info-hol@edu.uidaho.cs.ted Message-Id: <01GICN4XD8BK90MZPS@Uctvax.UCT.AC.ZA> X-Envelope-To: info-hol@ted.cs.uidaho.edu X-Vms-To: IN%"info-hol@ted.cs.uidaho.edu" Hello. Could you please place me on the HOL mailing list? I am using HOL to mechanize non-deterministic programming logics and formalisms. This is research towards an MSc. thesis. My e-mail address: trdgav01@uctvax.uct.ac.za My postal address: Gavan Tredoux Laboratory for Formal Aspects and Complexity in Computer Science Department of Mathematics University of Cape Town Rondebosch 7700 South Africa