Next: , Previous: definition, Up: Isabelle/Isar


8.1.7 datatype keyword