[isabelle-dev] NEWS

Makarius makarius at sketis.net
Tue Jul 1 20:25:56 CEST 2008


On Tue, 1 Jul 2008, Brian Huffman wrote:

> Quoting Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>:
> 
> > * Integrated image HOL-Complex with HOL.  Entry points Main.thy and
> > Complex_Main.thy remain as they are.
> 
> What is the rationale behind merging HOL-Complex with HOL?

So what are the absolute numbers?  On our local iMacs it is something like 
2min vs. 4min (without proof terms).  Over the years HOL build time has 
usually been around 10-20min.


	Makarius



More information about the isabelle-dev mailing list