--- On Thu, 9/10/09, amir mohajeri <amgigi1985 at yahoo.com> wrote:
From: amir mohajeri <[email protected]> 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://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090910/9b8bcfc9/attachment.htm>
