[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.
regards 
lyj
    

 






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