[isabelle] AFP Incompleteness Entry



Greetings AFP maintainers,

Using the 2016-09-09 release of the AFP, I have tried exploring the
Incompleteness entry with Isabelle2016. The sessions of that directory
build fine with "isabelle build", but when I try to open Goedel_I.thy in
jEdit I get numerous errors from Nominal2. Is there a special way to
invoke jEdit that allows interactive exploration of these theories? I
especially find the control-click navigation useful.

Best,
Corey

Attachment: signature.asc
Description: OpenPGP digital signature



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