isabelle: Changelog

huffman [Wed, 03 Dec 2008 15:00:50 -0800] rev 28959

fixed proofs due to changes in Int.thy

huffman [Wed, 03 Dec 2008 14:23:03 -0800] rev 28958

cleaned up subsection headings; added simp rules for comparisons on binary numbers

wenzelm [Wed, 03 Dec 2008 21:22:38 +0100] rev 28957

sources are not executable;

wenzelm [Wed, 03 Dec 2008 21:15:46 +0100] rev 28956

eliminated traces of old Distribution directory;

wenzelm [Wed, 03 Dec 2008 21:02:20 +0100] rev 28955

merged

wenzelm [Wed, 03 Dec 2008 21:02:12 +0100] rev 28954

remove *.lof as well;

haftmann [Wed, 03 Dec 2008 15:59:56 +0100] rev 28953

merged

haftmann [Wed, 03 Dec 2008 15:58:44 +0100] rev 28952

made repository layout more coherent with logical distribution structure; stripped some $Id$s

ballarin [Wed, 03 Dec 2008 15:27:41 +0100] rev 28951

Sublocale: removed public after_qed; identifiers private to NewLocale.

ballarin [Wed, 03 Dec 2008 15:26:46 +0100] rev 28950

Made global_note_qualified public.

isabelle