[isabelle-dev] Preferred syntax for big GCD?

Lawrence Paulson lp15 at cam.ac.uk
Thu Mar 10 11:10:27 CET 2016

I’m sympathetic to this view. On the other hand, GCD is the only one of these uppercase formulations that’s actually in widespread use.

> On 10 Mar 2016, at 09:46, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> Since there is no generally accepted symbolic syntax for gcd, it might
> be better to let the (slightly more readable) form (a) stand.
> I have no strong opinion on this.  Any suggestions?

More information about the isabelle-dev mailing list