Next: , Previous: case, Up: Isabelle/Isar


10.1.5 primrec keyword