Next: , Up: Isabelle/Isar


10.1.1 fun keyword.

Standard definition of a function in seqlog.