Previous: , Up: Isabelle/Isar   [Contents]


10.1.10 everything else