Hi, This is my first message to the HOL list so hope its not out of the rules for the list (couldn’t find the rules).
I wanted to find the formal grammar for generating terms (formulas) in HOL (Light). I was wondering were I could find such a specification? Thanks! Brando
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
