isabelle: Changelog

haftmann [Wed, 28 Jan 2009 11:02:12 +0100] rev 29653

added lemma abs_sng

haftmann [Wed, 28 Jan 2009 11:02:12 +0100] rev 29652

nat is a bot instance

haftmann [Wed, 28 Jan 2009 11:02:11 +0100] rev 29651

slightly adapted towards more uniformity with div/mod on nat

haftmann [Wed, 28 Jan 2009 11:04:10 +0100] rev 29650

Reflection.thy now in HOL/Library

wenzelm [Wed, 28 Jan 2009 11:36:45 +0100] rev 29649

more robust treatment of SwingUtilities.isEventDispatchThread;

wenzelm [Wed, 28 Jan 2009 10:43:31 +0100] rev 29648

annotate shared vars as @volatile;

wenzelm [Tue, 27 Jan 2009 19:56:26 +0100] rev 29647

updated generated file;

wenzelm [Tue, 27 Jan 2009 19:56:20 +0100] rev 29646

added label;

wenzelm [Tue, 27 Jan 2009 15:47:22 +0100] rev 29645

plain non-dependent types;

wenzelm [Tue, 27 Jan 2009 15:22:46 +0100] rev 29644

turned IsarDocument into trait for IsabelleProcess;

isabelle