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