Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 8 Sep 1993 22:58:21 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA24058;
          Wed, 8 Sep 93 14:47:35 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from uafhp.uark.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA24054; Wed, 8 Sep 93 14:47:33 -0700
Received: from csci0.uark.edu by uafhp.uark.edu with SMTP (1.37.109.4/15.6) 
          id AA18518; Wed, 8 Sep 93 16:46:24 -0500
Received: from csci2.uark.edu.domain_csci by domain_csci (4.1/SMI-4.1) 
          id AA17099; Wed, 8 Sep 93 16:52:10 CDT
Date: Wed, 8 Sep 93 16:52:10 CDT
From: manish@csci0.uark.edu (Manish)
Message-Id: <9309082152.AA17099@domain_csci>
To: info-hol@cs.uidaho.edu
Subject: HOL grammer


Hello World,
I found the hol90 grammar in the source distribution with hol90.
I am much obliged to those who replied. I was wondering if there
is such a grammar for HO88/2.01 also.

I have to parse a few theories for extracting code from specifications.

Thanx and regards,

Manish.