[isabelle-dev] AFP/JinjaThreads failure
huffman at in.tum.de
Thu Apr 19 19:34:07 CEST 2012
On Thu, Apr 19, 2012 at 4:02 PM, Makarius <makarius at sketis.net> wrote:
> On Tue, 10 Apr 2012, Brian Huffman wrote:
>> On Tue, Apr 10, 2012 at 3:06 PM, Makarius <makarius at sketis.net> wrote:
>>> Isabelle/a380515ed7e4 and AFP/53124641c94b produce the following error:
>>> *** No code equations for one_word_inst.one_word
>>> *** At command "by" (line 174 of
>>> What needs to be done here?
>> This is probably related to my changeset Isabelle/9475d524bafb, where
>> I redefined a bunch of word operations with lift_definition instead of
Hopefully changeset e3c699a1fae6 will take care of the problem.
More information about the isabelle-dev