isabelle: Changelog

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;

wenzelm [Sat, 26 Jan 2008 17:08:35 +0100] rev 25977

internal inductive: fresh theorem group;

wenzelm [Fri, 25 Jan 2008 23:50:33 +0100] rev 25976

modernized primrec;

wenzelm [Fri, 25 Jan 2008 23:05:27 +0100] rev 25975

Codegenerator vs. Codegenerator_Pretty: loaded sequentially, due to hazardous ML sections; more simultaneous use_thys;

wenzelm [Fri, 25 Jan 2008 23:05:25 +0100] rev 25974

modernized primrec;

isabelle