Next:
definition
, Previous:
case
, Up:
Isabelle/Isar
8.1.5 primrec keyword