Next: , Previous: fun, Up: Isabelle/Isar   [Contents]


10.1.2 type_synonym keyword