Re: [isabelle] transitive closure



Is there a transitive closure operator for new
style relations?

Yes. The curried versions of these predicates are "tranclp", "rtranclp" etc. Syntax: "^++", "^**"

Alex





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