[isabelle-dev] Notes on datatype_new list

Makarius makarius at sketis.net
Mon May 26 15:50:57 CEST 2014


On Mon, 26 May 2014, Andrei Popescu wrote:

> getSelector isNil for Nil[list]

BTW, camelCaseIsNotUsedInIsabelleSourcesToImproveReadability.


 	Makarius



More information about the isabelle-dev mailing list