isabelle: Changelog

wenzelm [Sat, 28 Mar 2009 17:08:18 +0100] rev 30758

tuned;

wenzelm [Sat, 28 Mar 2009 16:31:16 +0100] rev 30757

replaced add_binds(_i) by bind_terms -- internal version only;

wenzelm [Sat, 28 Mar 2009 16:30:09 +0100] rev 30756

replaced add_binds by singleton bind_term;

wenzelm [Sat, 28 Mar 2009 16:00:54 +0100] rev 30755

simplified internal locale parameters: maintain proper name and type, instead of binding and constraint;

wenzelm [Sat, 28 Mar 2009 12:48:31 +0100] rev 30754

minor tuning;

wenzelm [Sat, 28 Mar 2009 12:26:21 +0100] rev 30753

merged

ballarin [Sat, 28 Mar 2009 00:13:01 +0100] rev 30752

Merged.

ballarin [Sat, 28 Mar 2009 00:11:02 +0100] rev 30751

Corrections to locale syntax.

ballarin [Fri, 27 Mar 2009 23:43:48 +0100] rev 30750

Update explanation of locale expressions to locale reimplementation.

ballarin [Fri, 27 Mar 2009 20:25:07 +0100] rev 30749

Comments updated.

isabelle