isabelle: Changelog

wenzelm [Sat, 14 Oct 2006 23:25:54 +0200] rev 21035

export map_elem; added read_context_statement_i (internal locale name);

wenzelm [Sat, 14 Oct 2006 23:25:53 +0200] rev 21034

added assert;

wenzelm [Sat, 14 Oct 2006 23:25:51 +0200] rev 21033

theorem: added local_theory version;

wenzelm [Sat, 14 Oct 2006 23:25:51 +0200] rev 21032

Attrib.pretty_attrib;

wenzelm [Sat, 14 Oct 2006 23:25:50 +0200] rev 21031

added pretty_attribs (from attrib.ML);

wenzelm [Sat, 14 Oct 2006 23:25:48 +0200] rev 21030

moved pretty_attribs to attrib.ML;

wenzelm [Sat, 14 Oct 2006 23:25:46 +0200] rev 21029

locale begin/end;

wenzelm [Fri, 13 Oct 2006 22:30:29 +0200] rev 21028

updated;

berghofe [Fri, 13 Oct 2006 18:33:50 +0200] rev 21027

Added keywords for new inductive definition package.

berghofe [Fri, 13 Oct 2006 18:29:31 +0200] rev 21026

Adapted to changes in FixedPoint theory.

isabelle