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

cheers,
peter

-- 
http://peteg.org/





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