isabelle: Changelog

kleing [Mon, 07 Jul 2008 23:37:33 +0200] rev 27488

retired mac-sml-dev.

haftmann [Mon, 07 Jul 2008 08:47:17 +0200] rev 27487

absolute imports of HOL/*.thy theories

huffman [Fri, 04 Jul 2008 16:33:08 +0200] rev 27486

prefer theorem names without numbers

huffman [Fri, 04 Jul 2008 15:57:55 +0200] rev 27485

HOL-NSA

haftmann [Fri, 04 Jul 2008 07:39:01 +0200] rev 27484

added marginal setup for code generation

huffman [Thu, 03 Jul 2008 20:53:44 +0200] rev 27483

use real_of_nat_ge_zero instead of real_of_nat_fact_ge_zero

wenzelm [Thu, 03 Jul 2008 20:15:06 +0200] rev 27482

removed old NSPrimes, cf. NSA/Examples/;

wenzelm [Thu, 03 Jul 2008 20:10:52 +0200] rev 27481

cvsps: back to non-verbose mode;

wenzelm [Thu, 03 Jul 2008 19:50:19 +0200] rev 27480

removed old Complex/ex/NSPrimes.thy;

wenzelm [Thu, 03 Jul 2008 19:47:05 +0200] rev 27479

maxfiles = 50;

isabelle