Re: [isabelle] partial functions



Nevermind
i used sledgehammer and got it.

Thank you anyway


> From: s57076 at hotmail.com
> To: isabelle-users at cl.cam.ac.uk
> Date: Fri, 17 Jan 2014 14:01:15 +0200
> Subject: [isabelle] partial functions
> 
> Hi,
> 
> thank you, but i dont know how to prove this either :-) 
> "f a = Some b ⟶  ((f |` (- {a}))(a ↦ b)) = f"Can you help me?
>  		 	   		  
 		 	   		  


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