[isabelle] Relation.ImageP?



Hello,

I was just looking for a predicate version of Relation.Image, but could
not find one, while most other definitions are available for both. Is
that a deliberate mission?

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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