Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 24 Oct 1994 18:48:19 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA24004; Mon, 24 Oct 1994 12:39:17 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from soupfin.cs.indiana.edu by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA24000; Mon, 24 Oct 1994 12:39:16 -0600 Received: by soupfin.cs.indiana.edu (5.65c/9.4jsm) id AA07331; Mon, 24 Oct 1994 13:31:43 -0500 From: Kathi Fisler Subject: Web info for HOL90 beginners To: info-hol@leopard.cs.byu.edu Date: Mon, 24 Oct 1994 13:31:43 -0500 (EST) X-Mailer: ELM [version 2.4 PL21] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 778 Message-ID: <"swan.cl.cam.:236530:941024184855"@cl.cam.ac.uk> I've put together a Web page of information for new HOL90 users, based on my own experiences trying to learn the system over the past couple of weeks. The page contains a translation of the sessions in chapter 4 of the tutorial into HOL90, as well as a few other hints that I found useful while learning the system. The page is linked into the main HOL documentation page, under the on-line courses heading; the direct address for the page is http://www.cs.indiana.edu/hyplan/kfisler/HOL/hol90notes.html If anyone has other examples or suggestions to link into this page, please let me know and I will add them. Kathi -- Kathi Fisler kfisler@cs.indiana.edu Visual Inference and Hardware Methods Laboratories, Indiana University