Re: [isabelle] partial functions: is f_rel too weak too?

Thanks Tobias and Andreas. 

>  declare conj_cong[fundef_cong]

indeed does the job.

(A pointer from Section 8 of the functions manual to Section 10 would have helped me in this instance.)



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