[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.