Previous:
instance
, Up:
Isabelle/Isar
8.1.10 everything else