Next:
datatype
, Previous:
primrec
, Up:
Isabelle/Isar
8.1.6 definition keyword