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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev