Re: [isabelle-dev] canonical left-fold combinator for lists

2012-02-13 Thread 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. Please recall: The movement of the code

Re: [isabelle-dev] canonical left-fold combinator for lists

2012-02-13 Thread Tobias Nipkow
Am 13/02/2012 13:22, 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