Next:
other
, Previous:
class
, Up:
Isabelle/Isar
10.1.9 instance keyword