[isabelle-dev] Fwd: status (AFP)

[Brian Huffman]

On Sun, Mar 11, 2012 at 12:09 PM, Tobias Nipkow <nipkow at in.tum.de> wrote:
> One error in JinjaThreads was fixed, here is the next one:
>
> *** Unknown fact "list_all2_update_cong2" (line 467 of
> "/mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy")
> *** At command "apply" (line 467 of
> "/mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy")
> Exception- TOPLEVEL_ERROR raised

I guess this has to do with the following changeset:

changeset:   46665:c1d2ab32174a
user:        bulwahn
date:        Sat Feb 25 09:07:37 2012 +0100
summary:     one general list_all2_update_cong instead of two special ones

http://isabelle.in.tum.de/repos/isabelle/rev/c1d2ab32174a