HOL 88[2.01] grammar

mnd@engr.engr.uark.edu (DHARWADKER MANISH N)
Thu, 30 Sep 1993 16:18:33 GMT

          From comp.compilers

Related articles
HOL 88[2.01] grammar mnd@engr.engr.uark.edu (1993-09-30)
| List of all articles for this month |

Newsgroups: comp.compilers
From: mnd@engr.engr.uark.edu (DHARWADKER MANISH N)
Summary: Wanted a BNF grammar for the pretty-parser output of the HOL88/2.01
Keywords: Lisp, parse, question
Organization: University of Arkansas
Distribution: comp.compilers
Date: Thu, 30 Sep 1993 16:18:33 GMT


I was wondering if anyone can help me locate a BNF grammar for the
HOL88/2.01 pretty-printer output... I need to parse the pretty-printer
output from the HOL specifications... I am attempting to extract code from
the specifications for definitions , axioms and theorems.

Much obliged and many thanks,



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.