Hello Ramana, thanks for the encouragement! I did not know Myreen's guide: thanks a lot! Bye,
Andrea On 30/01/14 17:05, Ramana Kumar wrote: > This is a great idea, I'm glad you are planning to write something. > > Two resources that come to mind are the existing HOL4 Tutorial that > comes with the distribution (I presume you already saw this?), and > also Magnus Myreen's guide > http://www.cl.cam.ac.uk/~mom22/HOL-interaction.pdf. > > On Wed, Jan 29, 2014 at 8:20 AM, Andrea <[email protected]> wrote: >> Dear all, >> >> I am planning to write and publish a brief Hol4 tutorial for those (as >> me a couple of months ago) who >> are completely ignorant about this genre of tools. >> The aim is to make this technology more accessible to newcomers. >> >> Do you know if there exist already resources of this genres? >> Could you propose me valid references on which I can rely on? >> Thanks a lot, >> >> Andrea Giugliano >> >> ------------------------------------------------------------------------------ >> WatchGuard Dimension instantly turns raw network data into actionable >> security intelligence. It gives you real-time visual feedback on key >> security issues and trends. Skip the complicated setup - simply import >> a virtual appliance and go from zero to informed in seconds. >> http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk >> _______________________________________________ >> hol-info mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ Managing the Performance of Cloud-Based Applications Take advantage of what the Cloud has to offer - Avoid Common Pitfalls. Read the Whitepaper. http://pubads.g.doubleclick.net/gampad/clk?id=121051231&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
