On Thu, 2012-07-19 at 17:50 +0100, Ramana Kumar wrote: > Perhaps Sean McLaughlin's paper "An Interpretation of > Isabelle/HOL in HOL Light" (IJCAR 2006: 192-204) could serve > as a starting point. > > Do you know whether McLaughlin's code is available anywhere, e.g. > online? (Also, does it still work with current versions of Isabelle > and HOL Light?)
I am afraid I don't know. Best regards, Tjark ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
