isabelle: Changelog

huffman [Thu, 16 Oct 2008 19:44:36 +0200] rev 28613

rewrite more proofs in Isar style

ballarin [Thu, 16 Oct 2008 17:52:54 +0200] rev 28612

Removed ex/Locales.thy.

ballarin [Thu, 16 Oct 2008 17:19:47 +0200] rev 28611

More occurrences of 'includes' gone.

ballarin [Thu, 16 Oct 2008 17:07:20 +0200] rev 28610

Removed outdated locales tutorial.

haftmann [Thu, 16 Oct 2008 08:51:05 +0200] rev 28609

correct rounding

haftmann [Thu, 16 Oct 2008 08:48:27 +0200] rev 28608

circumvent some TeX problem

kleing [Thu, 16 Oct 2008 00:18:53 +0200] rev 28607

only test HOL image for smlnj

wenzelm [Wed, 15 Oct 2008 22:12:02 +0200] rev 28606

tuned;

wenzelm [Wed, 15 Oct 2008 21:45:02 +0200] rev 28605

tuned;

wenzelm [Wed, 15 Oct 2008 21:15:35 +0200] rev 28604

generic ATP manager based on threads (by Fabian Immler);

isabelle