[isabelle-dev] thms with VERY long identifiers
makarius at sketis.net
Mon Mar 19 16:07:09 CET 2012
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.
More information about the isabelle-dev