[isabelle] Seeking for help in learning Isabelle

Sir,   I am Karthick doing my M.Sc Software Engineering in PSG College of Technology, India. I am interested in learning Isabelle but since i am newbie to this, i don't know where to start with. I kindly request you to guide me in learning Isabelle. 		 	   		   		 	   		  

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