Next:
type_synonym
, Up:
Isabelle/Isar
[
Contents
]
10.1.1 fun keyword.
Standard definition of a function in seqlog.