[isabelle-dev] Fwd: status (AFP)
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?
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.
More information about the isabelle-dev