[isabelle] CTL formalization

Dear all:
    who knows who have done some formalization on ctl theo, and the formalized thoery can be downloaded and used?
    I note that Isabelle05 have no  example theory for CTL, but it exists in Isabelle04.


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