[isabelle] conflicting versions



Hi,

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

at

theory Lambda
imports 
  "../Nominal2"
begin

atom_decl name

Could a version conflict cause this? How can I fix it then?

- Gergely




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.