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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
