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; Fri, 29 Sep 1995 00:11:49 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA036738254;
          Thu, 28 Sep 1995 16:44:14 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA036708253;
          Thu, 28 Sep 1995 16:44:13 -0600
Received: from roma-cafe.cs.ucdavis.edu (roma-cafe.cs.ucdavis.edu [128.120.56.46]) 
          by dworshak.cs.uidaho.edu (8.6.12/1.1) with ESMTP id PAA01827 
          for <info-hol@cs.uidaho.edu>; Thu, 28 Sep 1995 15:44:03 -0700
Received: by roma-cafe.cs.ucdavis.edu (8.6.12/UCD3.4) id PAA05218;
          Thu, 28 Sep 1995 15:37:50 -0700
From: shaw@cs.ucdavis.edu (Rob Shaw)
Date: Thu, 28 Sep 1995 15:37:50 -0700
Message-Id: <199509282237.PAA05218@roma-cafe.cs.ucdavis.edu>
To: info-hol@cs.uidaho.edu
Subject: TRS for HOL90 ?
Content-Length: 64


Is the theorem retrieval system ported to HOL90 ?

Thanx!

Rob