On Mon, 19 Mar 2012, Walther Neuper wrote:
I am searching the documentation for some while --- --- but probably
there is someone with a quick hint ?
There seems to be an identity crisis of the isabelle-users mailing list,
since regular user questions are asked in this narrow forum that mainly
addresses the Isabelle development process.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
