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


8.1.9 instance keyword