Next:
primrec
, Previous:
lemma/theorem
, Up:
Isabelle/Isar
8.1.4 case keyword