isabelle: Changelog

wenzelm [Sat, 26 Jan 2008 20:01:37 +0100] rev 25985

avoid redundant escaping of Isabelle symbols;

wenzelm [Sat, 26 Jan 2008 17:08:43 +0100] rev 25984

grouped versions of axioms/define/notes;

wenzelm [Sat, 26 Jan 2008 17:08:42 +0100] rev 25983

misc tuning and internal rearrangement; tuned attribute syntax -- no need for eta-expansion;

wenzelm [Sat, 26 Jan 2008 17:08:41 +0100] rev 25982

added theorem group property;

wenzelm [Sat, 26 Jan 2008 17:08:40 +0100] rev 25981

added theorem group operations; note_thmss: add kind to *all* intermediate thms; get_kind: default to empty name;

wenzelm [Sat, 26 Jan 2008 17:08:39 +0100] rev 25980

added surround;

wenzelm [Sat, 26 Jan 2008 17:08:38 +0100] rev 25979

tuned attribute syntax -- no need for eta-expansion;

wenzelm [Sat, 26 Jan 2008 17:08:36 +0100] rev 25978

added theorem group;

isabelle