Re: [isabelle] Quantifying over conditions

I don't know if this is precisely what you're looking for, but 
what you're asking for seems to have the flavour of modal logic:
I don't know how easily this could be (or perhaps already has 
been) incorporated into Isabelle.  Perhaps someone else could 
address that question.


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

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