Next: , Previous: case, Up: Isabelle/Isar   [Contents]


10.1.5 primrec keyword