[isabelle-dev] [Fwd: Re: [isabelle] Codegen from Hoare logics?]

[Tobias Nipkow]

-------- Original Message --------
Subject: Re: [isabelle] Codegen from Hoare logics?
Date: Mon, 26 Nov 2007 03:02:42 -0600
From: Luke Wagner <andhow at gmail.com>
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!