[isabelle-dev] Nominal and FinFuns from the AFP

[Christian Urban]

On Thursday, May 10, 2012 at 18:46:04 (+0100), Lukas Bulwahn wrote:
 > 
 > In the short term, we could move the FinFun theory into the HOL library 
 > of the development version after Isabelle 2012 and the AFP 2012 has been 
 > released, if we agree that this moves this contribution in the right 
 > direction.

Thanks a lot!

Christian