Previous: instance, Up: Isabelle/Isar


8.1.10 everything else