[isabelle-dev] Preferred syntax for big GCD?
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