Next: , Previous: lemma/theorem, Up: Isabelle/Isar


10.1.4 case keyword