[isabelle-dev] Nominal and FinFuns from the AFP

Christian Urban christian.urban at kcl.ac.uk
Fri May 11 12:21:17 CEST 2012

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!


More information about the isabelle-dev mailing list