Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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, 27 Mar 1995 06:42:25 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA089122106;
          Sun, 26 Mar 1995 22:28:26 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from toadflax.cs.ucdavis.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA089092105;
          Sun, 26 Mar 1995 22:28:25 -0700
Received: from ice.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) 
          id AA19392; Sun, 26 Mar 95 21:26:29 PST
Received: by ice.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA03188;
          Sun, 26 Mar 1995 21:26:55 -0800
Date: Sun, 26 Mar 1995 21:26:55 -0800
From: shaw@cs.ucdavis.edu (Rob Shaw)
Message-Id: <9503270526.AA03188@ice.cs.ucdavis.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL-UNITY?


I am interested in finding out more about HOL-UNITY. I hope someone can send
me pointers in the right direction.

Thanx!

Rob