Return-Path: Delivery-Date: Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 7 Jul 1993 18:10:19 +0100 Received: by cs.uidaho.edu (16.6/2.0) id AA25719; Wed, 7 Jul 93 10:00:04 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from iraun1.ira.uka.de by cs.uidaho.edu (16.6/2.0) id AA25714; Wed, 7 Jul 93 09:51:09 -0700 Message-Id: <9307071651.AA25714@cs.uidaho.edu> Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <16602-0@iraun1.ira.uka.de>; Wed, 7 Jul 1993 18:48:31 +0200 Date: Wed, 7 Jul 93 18:50:15 MET DST From: "Thomas Kropf, Univ. Karlsruhe" To: info-hol@cs.uidaho.edu Subject: HOL90 Tutorial Working with HOL90 and giving courses on that version of HOL we have adapted the well-known set of HOL tutorial slides created by Tom Melham to HOL90. Tom gave us his permission to distribute them freely (provided that they are not sold or otherwise used to make money). They are available via anonymous ftp from goethe.ira.uka.de (currently: 129.13.18.22) in the directory /pub/hol90-tutorial --Thomas--