-------- Original Message -------- Subject: Re: [isabelle] Codegen from Hoare logics? Date: Mon, 26 Nov 2007 03:02:42 -0600 From: Luke Wagner <[email protected]> To: Tobias Nipkow <nipkow at in.tum.de> References: <79f699ca0711251218q37dc8956m66264fc37dae3d54 at mail.gmail.com> <474A8662.4090205 at in.tum.de> <79f699ca0711260049t45ccfe6fq14891709abb2b323 at mail.gmail.com> <474A891E.6060300 at in.tum.de>
Indeed the excitement remains. This whole Isabelle/Isar/HOL/etc project is incredible... and even documented!
