[isabelle-dev] Notes on datatype_new list

Tobias Nipkow nipkow at in.tum.de
Mon May 26 10:36:54 CEST 2014

On 26/05/2014 10:30, Tobias Nipkow wrote:
> The three types bool, nat and list should be defined in
> the plain standard manner.

Ignore the bit about bool and nat.


More information about the isabelle-dev mailing list