[isabelle-dev] Notes on datatype_new list

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

Previous message (by thread): [isabelle-dev] Notes on datatype_new list
Next message (by thread): [isabelle-dev] isabelle-dev Digest, Vol 84, Issue 31
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Mon, 26 May 2014, Andrei Popescu wrote:

> getSelector isNil for Nil[list]

BTW, camelCaseIsNotUsedInIsabelleSourcesToImproveReadability.


 	Makarius

Previous message (by thread): [isabelle-dev] Notes on datatype_new list
Next message (by thread): [isabelle-dev] isabelle-dev Digest, Vol 84, Issue 31
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list