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; Wed, 19 Oct 1994 00:06:03 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA20870;
          Tue, 18 Oct 1994 16:57:32 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA20866;
          Tue, 18 Oct 1994 16:57:31 -0600
Date: Tue, 18 Oct 1994 16:57:31 -0600
From: Paul "E." Black <black@lal.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: minor Documentation problems, HOL88, ver 2.01
Message-ID: <"swan.cl.cam.:238180:941018230709"@cl.cam.ac.uk>

We are running HOL88, version 2.01.  I've noticed what I believe are some
documentation problems.

1) in GENL under DESCRIBE it gives
	GENL "[x1;...;xn]"
    and I think it should be
	GENL ["x1";...;"xn"]
   I believe SPECL should be corrected similarly.

2) we have no documentation for num_Axiom or list_Axiom.  They are
   referenced in the "SEE ALSO" sections of new_prim_rec_definition
   and new_list_rec_definition respectively.  Anyone have pages for
   them?

Paul E. Black                   Laboratory for Applied Logic
black@lal.cs.byu.edu            3308 TMCB
p.black@ieee.org                Brigham Young University
voice: +1 801 378 8113          Provo, Utah   84602
<A href="http://lal.cs.byu.edu/people/black.html">Mosaic page</A>