[isabelle-dev] thms with VERY long identifiers

Makarius 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.


 	Makarius



More information about the isabelle-dev mailing list