[isabelle-dev] Notation for not-exists

Lawrence Paulson lp15 at cam.ac.uk
Fri Mar 4 12:48:29 CET 2016


Agree
Larry

> On 4 Mar 2016, at 11:34, Makarius <makarius at sketis.net> wrote:
> 
> I can't imagine anybody using that print mode seriously, so maybe it is time to make these syntax variants input-only, as a preparation for removal at a later point.




More information about the isabelle-dev mailing list