[isabelle] conflicting versions
I installed Isabelle 2013-2 onto a Windows machine that already had a 2012 version.
Trying to read Lambda.thy from the Nominal Isabelle distribution (already discussed this on its mailing list) I get
Outer syntax error: command expected,
but identifier atom_decl was found
Could a version conflict cause this? How can I fix it then?
This archive was generated by a fusion of
Pipermail (Mailman edition) and