Re: [isabelle] SET protocol



This protocol is quite dead, I'm afraid.

Lawrence C Paulson
Professor of Computational Logic
Computer Laboratory, University of Cambridge
15 JJ Thomson Avenue, Cambridge CB3 0FD, England
Tel: +44(0)1223 334623    Fax: +44(0)1223 334678




On 26 Jan 2011, at 11:40, Novio wrote:

> Hi,
> Is anybody here, who is working with SET protocol ?
> Or do you know about any materials that can
> help me?
> 
> Thanks, Peter
> 






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