Re: [isabelle] Define a fun

Dear Mahmoud,

could you please specify what your fun_upd would do?

- Gergely

-----Original Message-----
From: cl-isabelle-users-bounces at [mailto:cl-isabelle-users-bounces at] On Behalf Of mahmoud abdelazim
Sent: Tuesday, November 25, 2014 1:57 PM
To: cl-isabelle-users at
Subject: [isabelle] Define a fun

How to define a fun like fun_upd in Isabelle?

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