Next:
instance
, Previous:
datatype
, Up:
Isabelle/Isar
8.1.8 class keyword