GNU Aris Manual: fun

Next: , Up: Isabelle/Isar [Contents]

10.1.1 fun keyword.

Standard definition of a function in seqlog.

AltStyle によって変換されたページ (->オリジナル) /