Next:
class
, Previous:
definition
, Up:
Isabelle/Isar
8.1.7 datatype keyword