On 11/06/2015 14:00, Makarius wrote:
Is that just a question of which side of the river has greener grass?
"Function" does a number of things very nicely, eg nested recursion and partiality. That is worth taking on board.
Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev