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


10.1.2 type_synonym keyword