[isabelle] Variable names

Dear All,

We used to write e.g. (% v_. P v_)

But with recent development versions of Isabelle, it appears user variable names are not allowed to end with an underscore. Can someone confirm this? Would it be possible to lift this restriction? (We have lots of code that would need to be updated to track this change.)



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