[isabelle-dev] Nominal and FinFuns from the AFP

Lawrence Paulson lp15 at cam.ac.uk
Thu May 10 20:27:57 CEST 2012

Agree. I think it is a fundamental data structure.

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.

More information about the isabelle-dev mailing list