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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
