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,
Christian 




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