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