[isabelle] can u pls help me!



hello anyone 

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


tnks n regards
Htoo Aung Maw 		 	   		  
_________________________________________________________________
Hotmail: Powerful Free email with security by Microsoft.
https://signup.live.com/signup.aspx?id=60969



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