Next:
primrec
, Previous:
lemma/theorem
, Up:
Isabelle/Isar
[
Contents
]
10.1.4 case keyword