[isabelle-dev] NEWS: op <infix> -> (<infix>)
lammich at in.tum.de
Tue Jan 16 19:12:18 CET 2018
On Di, 2018-01-16 at 16:31 +0000, Lawrence Paulson wrote:
> I know how to do it, but no beginner could ever find this.
This is usually one of the first things I show students learning
Isabelle ... I'm using brackets syntax in demos, but let
them decide which syntax they like better.
> > On 16 Jan 2018, at 16:20, Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch> wrote:
> > It's not too hard: Go to Plugins/Plugin Options/Isabelle/General and enter "brackets" under Print mode.
> isabelle-dev mailing list
isabelle-dev at in.tum.de>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev