[isabelle-dev] "canonical" left-fold combinator for lists

Tobias Nipkow nipkow at in.tum.de
Mon Feb 13 12:49:03 CET 2012


Am 12/02/2012 11:24, schrieb Florian Haftmann:
> Anyway, personally I have no strong opinion about this, so anybody who
> wants to get hands on should feel invited to do so.

It would have been better to discuss such a change beforehand rather
than make it and then say that we are welcome to modify it.

Tobias



More information about the isabelle-dev mailing list