Next: , Up: Isabelle/Isar   [Contents]


10.1.1 fun keyword.

Standard definition of a function in seqlog.