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


8.1.5 primrec keyword