<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><br><br>--- On <b>Thu, 9/10/09, amir mohajeri <i><amgigi1985@yahoo.com></i></b> wrote:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>From: amir mohajeri <amgigi1985@yahoo.com><br>Subject: implementation of SSL?<br>To: isabelle-users@cl.cam.ac.uk<br>Date: Thursday, September 10, 2009, 9:02 AM<br><br><div id="yiv171776547"><table cellpadding="0" cellspacing="0" border="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit; -x-system-font: none;" valign="top">Hi<br><br>I want to know about implementation of SSL protocol by Isabelle ??<br>Can you help me about that?<br></td></tr></tbody></table><br>



      </div></blockquote></td></tr></table><br>