[isabelle-dev] Fw: implementation of SSL?

amir mohajeri amgigi1985 at yahoo.com
Thu Sep 10 15:03:50 CEST 2009

--- 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


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>

More information about the isabelle-dev mailing list