isabelle: Changelog

wenzelm [Thu, 20 Nov 2008 19:43:34 +0100] rev 28866

reactivated some dead theories (based on hints by Mark Hillebrand);

haftmann [Thu, 20 Nov 2008 19:06:05 +0100] rev 28865

Locale.local_note_qualified

haftmann [Thu, 20 Nov 2008 19:06:03 +0100] rev 28864

fact table now using name bindings

haftmann [Thu, 20 Nov 2008 19:06:02 +0100] rev 28863

dropped legacy naming code

haftmann [Thu, 20 Nov 2008 14:55:28 +0100] rev 28862

tuned name bindings

haftmann [Thu, 20 Nov 2008 14:55:25 +0100] rev 28861

using name bindings

haftmann [Thu, 20 Nov 2008 14:51:40 +0100] rev 28860

name spaces and name bindings

ballarin [Thu, 20 Nov 2008 10:29:35 +0100] rev 28859

Deleted debug message (PolyML).

wenzelm [Thu, 20 Nov 2008 00:03:55 +0100] rev 28858

removed traces of former 'includes' element;

wenzelm [Thu, 20 Nov 2008 00:03:53 +0100] rev 28857

updated generated files;

isabelle