isabelle: Changelog

wenzelm [Sat, 15 Nov 2008 21:31:15 +0100] rev 28798

clean: added HOL-Main;

wenzelm [Sat, 15 Nov 2008 21:31:13 +0100] rev 28797

rewrite_proof: simplified simprocs (no name required);

wenzelm [Sat, 15 Nov 2008 11:25:17 +0100] rev 28796

multithreading support for polyml-5.2 actually disabled -- as advertized;

ballarin [Fri, 14 Nov 2008 16:49:52 +0100] rev 28795

Initial part of locale reimplementation.

ballarin [Fri, 14 Nov 2008 14:00:52 +0100] rev 28794

Made local_note_prefix public.

haftmann [Fri, 14 Nov 2008 08:50:11 +0100] rev 28793

re-educated guess

haftmann [Fri, 14 Nov 2008 08:50:10 +0100] rev 28792

namify and name_decl combinators

haftmann [Fri, 14 Nov 2008 08:50:09 +0100] rev 28791

Name.is_nothing

haftmann [Fri, 14 Nov 2008 08:50:08 +0100] rev 28790

lemmas about dom and minus / insert

haftmann [Fri, 14 Nov 2008 08:50:07 +0100] rev 28789

added length_unique operation for code generation

isabelle