Re: [isabelle] Help on Nominal package
On Fri, 19 May 2006, Temesghen Kahsai wrote:
> I just start to use the new Nominal package. And I get the following
> error when I try to execute one of the examples provided in the package.
Please ask at the nominal mailing list -- see
> *** Cyclic dependency of constants:
> *** "nominal.perm"
> Can somebody please give me a hint to solve this problem?
This is an effect of ongoing internal changes in the current Isabelle
development snapshot. Try to avoid using unofficial snapshots unless
there are really urgent reasons. In any case, the Isabelle NEWS file and
CVS ChangeLog (http://isabelle.in.tum.de/devel/ChangeLog.gz) will provide
some clues of what has been going on in Isabelle development recently.
This archive was generated by a fusion of
Pipermail (Mailman edition) and