Re: [isabelle] Define a fun



You may look at how it is actually done in Isabelle:
  In isabelle/jedit, type term "fun_upd", and goto its definition by
Ctrl+Click on "fun_upd".

--
  Peter


On Di, 2014-11-25 at 13:57 +0100, mahmoud abdelazim wrote:
> 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.