Sounds good to me! Larry On 18 Nov 2013, at 17:58, Jasmin Christian Blanchette <[email protected]> wrote:
> Still, I want to make sure there is wide agreement before proceeding. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
