isabelle: Changelog

huffman [Thu, 18 Dec 2008 09:30:36 -0800] rev 29139

merged.

huffman [Tue, 16 Dec 2008 21:31:55 -0800] rev 29138

remove cvs Id tags

wenzelm [Wed, 17 Dec 2008 14:40:04 +0100] rev 29137

merged

wenzelm [Wed, 17 Dec 2008 14:39:38 +0100] rev 29136

basic setup for MacOS application bundle;

haftmann [Wed, 17 Dec 2008 12:10:40 +0100] rev 29135

GHC ext pragma in generated Haskell modules

haftmann [Wed, 17 Dec 2008 12:10:39 +0100] rev 29134

dropped Ids

haftmann [Wed, 17 Dec 2008 12:10:39 +0100] rev 29133

temporary adaption to new locale code

haftmann [Wed, 17 Dec 2008 12:10:38 +0100] rev 29132

restructured; circumvent sort problem

huffman [Tue, 16 Dec 2008 21:18:53 -0800] rev 29131

merged.

huffman [Tue, 16 Dec 2008 09:44:59 -0800] rev 29130

new theory Dsum: cpo of disjoint sum

isabelle