[opentheory-users] question about camlp5

Joe Leslie-Hurd joe at gilith.com
Thu May 28 20:06:24 UTC 2015

Hi Robert,

I am afraid I cannot help with this, but I see you have already asked
the hol-info list so hopefully the HOL Light experts there will be
able to answer your question.



On Thu, May 28, 2015 at 11:13 AM, Robert White
<ai.robert.wangshuai at gmail.com> wrote:
> Dear all,
> I wonder if there is a way I can get rid of the error of :
>  Error: Unbound value set_jrh_lexer
> Sometimes it is working sometimes it is not. I am very confused. Is there
> any advice?
> Thanks a lot
> --
> Regards,
> Robert White (Shuai Wang)
> INRIA Deducteam
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list

More information about the opentheory-users mailing list