[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 

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