Re: [isabelle] Incompleteness and Nominal2

Just to add that I updated my nominal web-page with a
current version of Nominal2 for Isabelle 2015. Sorry, I 
was still running Isabelle 2014 and somehow forgot to
do this.

Please let me know if there is anything not working
or not available.

Best wishes,

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