Agree. I think it is a fundamental data structure. Larry On 10 May 2012, at 18:46, Lukas Bulwahn wrote:
> Therefore, I am also in strong favour for moving the AFP entry FinFun into > the distribution. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
