Next:
lemma/theorem
, Previous:
fun
, Up:
Isabelle/Isar
[
Contents
]
10.1.2 type_synonym keyword