[isabelle-dev] Float

Lukas Bulwahn bulwahn at in.tum.de
Tue Nov 15 09:11:17 CET 2011

On 11/14/2011 09:35 PM, Florian Haftmann wrote:
>> @Florian: Is it imaginable to add such unsound setup
>> in a way that it does not infect the evaluation oracle by default?
> Indeed.  More on that another time (when I find some time).
> 	Florian
@Johannes: If you aim at adding another code target for this theory, I 
can assist with the setup.


More information about the isabelle-dev mailing list