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


8.1.6 definition keyword