Next: , Previous: lemma/theorem, Up: Isabelle/Isar   [Contents]


10.1.4 case keyword