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