[isabelle] can u pls help me!
i m master student n now i m doing my thesis about
verify the online purchase protocol..
so, if u don't hv too much
trouble, can i get the sample code for this kind of topic n aslo which
documentation do u recommand to read...
u can give me any
suggestion for my topic n i will be really tnkful for any suggestion n
tnks n regards
Htoo Aung Maw
Hotmail: Powerful Free email with security by Microsoft.
This archive was generated by a fusion of
Pipermail (Mailman edition) and