On Fri, 1 Jan 2016, Lawrence Paulson wrote:
I'm still working on a major theorem. It would be nice to include it if possible.
Do you have a time estimate for that?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
