isabelle: Changelog

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;

wenzelm [Thu, 03 Jul 2008 19:17:52 +0200] rev 27478

more sessions;

wenzelm [Thu, 03 Jul 2008 19:17:29 +0200] rev 27477

more precise dependencies for HOL-Word and HOL-NSA;

isabelle