[isabelle-dev] thms with VERY long identifiers

[Makarius]

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