Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 20 May 1993 04:45:10 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA29871; Wed, 19 May 93 20:39:28 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from toadflax.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) id AA29866; Wed, 19 May 93 20:39:22 -0700 Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.3) id AA02696; Wed, 19 May 93 20:39:30 PDT Date: Wed, 19 May 93 20:39:30 PDT From: shaw@cs.ucdavis.edu (Rob Shaw) Message-Id: <9305200339.AA02696@toadflax.cs.ucdavis.edu> To: info-hol@ted.cs.uidaho.edu Subject: new_open_axiom ?? What is new_open_axiom? It's not in our version 2.0 manuals, and I can't seem to find it in any of the standard .th files. Thanx. (email, please. I'm not certain that I receive this list yet.)