[isabelle-dev] Fwd: status (AFP)

Lars Noschinski noschinl at in.tum.de
Mon Sep 26 17:59:30 CEST 2011

On 18.09.2011 14:37, Florian Haftmann wrote:
>> *** Undeclared constant: "semilattice_sup_class.sup"
>> *** At command "definition" (line 20 of "/home/kleing/afp/devel/thys/JinjaThreads/Execute/Cset_without_equal.thy")
>> val it = (): unit
>> Exception- TOPLEVEL_ERROR raised
>> *** ML error
>> It looks like something in the class setup changed slightly. Could somebody who is more up-to-date in this area have a look, please?
> Done.

I might be missing something, but I haven't seen a fix in the 
repository? Nevertheless, I committed now the trivial 
semilattice_sup_class.sup -> sup_class.sup rename to JinjaThreads.

   -- Lars

More information about the isabelle-dev mailing list