Re: [isabelle] fun, int, nat



Furthermore you can see the value of a function using value (just interactive).

Just to be clear on this one:

value "prod 3 1 (%x. x)"

yields "6".

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.