Isabelle/a380515ed7e4 and AFP/53124641c94b produce the following error:
*** No code equations for one_word_inst.one_word
*** At command "by" (line 174 of "afp-devel/thys/JinjaThreads/Common/BinOp.thy")
What needs to be done here?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
