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


8.1.4 case keyword