Next: , Previous: fun, Up: Isabelle/Isar


8.1.2 type_synonym keyword