[isabelle-dev] Fw: implementation of SSL?

[amir mohajeri]

--- On Thu, 9/10/09, amir mohajeri <amgigi1985 at yahoo.com> wrote:

From: amir mohajeri <amgigi1985 at yahoo.com>
Subject: implementation of SSL?
To: isabelle-users at cl.cam.ac.uk
Date: Thursday, September 10, 2009, 9:02 AM

Hi

I want to know about implementation of SSL protocol by Isabelle ??
Can you help me about that?





      


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20090910/9b8bcfc9/attachment.html>