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 lists.cam.ac.uk [mailto:cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf Of mahmoud abdelazim
Sent: Tuesday, November 25, 2014 1:57 PM
To: cl-isabelle-users at lists.cam.ac.uk
Subject: [isabelle] Define a fun

Hi 
How to define a fun like fun_upd in Isabelle?
thanks





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