Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 23 Feb 1993 09:47:49 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA14674; Tue, 23 Feb 93 01:37:46 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ra.abo.fi by ted.cs.uidaho.edu (16.6/1.34) id AA14669; Tue, 23 Feb 93 01:37:41 -0800 Date: Tue, 23 Feb 93 11:37:16 +0200 From: cjoosse@fi.abo.ra (Carine Joosse INF) Message-Id: <9302230937.AA20603@ra.abo.fi> To: info-hol@edu.uidaho.cs.ted hello there, I am working with hol, in particular programming logic, (files in /prog_logic88) but am having some difficulties. Who can help me? I want to know where I can find some proper documentation about the programming and specification languages for the programs that are provable using for instance hoare-logic, also some examples might be helpful (I can only find numerous versions of a division program and some out- dated documentation). Anyone familiar with these files, and willing to help, please write me, my email adress: cjoosse@ra.abo.fi. Please also put me on the mailing list for hol-info. thanks, carine joosse.