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.
More information about the isabelle-dev