Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <08752-0@swan.cl.cam.ac.uk>; Wed, 10 Jun 1992 16:26:00 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA29069; Wed, 10 Jun 92 08:08:36 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA29063; Wed, 10 Jun 92 08:08:28 -0700 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA13875 (5.65c/IDA-1.4.4 for info-hol@ted); Wed, 10 Jun 1992 08:14:07 -0700 Message-Id: <199206101514.AA13875@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: abstract theory package location. Date: Wed, 10 Jun 92 08:14:06 -0700 From: Phil Windley X-Mts: smtp Someone pointed out that I neglected to give precise information about the location of the abstract theory package. Here it is: cs.uidaho.edu:/pub/hol/abs_theory.tar.Z Sorry for any confusion. --phil-- Phillip J. Windley, Asst. Professor | windley@cs.uidaho.edu Laboratory for Applied Logic | windley@panther.cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645