Next: datatype, Previous: primrec, Up: Isabelle/Isar   [Contents]