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


10.1.8 class keyword