Re: [isabelle] Emacs/Isabelle crash

On page 20, I go to enter
in the type declaration given, using

for the negation in the "value" method (per appendix A.1).  Emacs
reliably crashes every time I do this.  Crash report below.

What would be the best course of action to move forward?

No idea about fixing the actual problem... but before it becomes a show-stopper for you, you can fall back to ascii notation: "~ P" is the same as "\<not> P".


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