isabelle: Changelog

wenzelm [Sat, 17 Oct 2009 15:55:57 +0200] rev 32965

ISABELLE_TOOL;

wenzelm [Sat, 17 Oct 2009 15:42:36 +0200] rev 32964

tuned signature; observe coding conventions of this file;

wenzelm [Sat, 17 Oct 2009 14:51:30 +0200] rev 32963

merged

nipkow [Sat, 17 Oct 2009 13:46:55 +0200] rev 32962

merged

nipkow [Sat, 17 Oct 2009 13:46:39 +0200] rev 32961

added the_inv_onto

wenzelm [Sat, 17 Oct 2009 14:43:18 +0200] rev 32960

eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;

wenzelm [Sat, 17 Oct 2009 01:05:59 +0200] rev 32959

removed obsolete old goal command;

wenzelm [Sat, 17 Oct 2009 00:53:18 +0200] rev 32958

legacy Drule.standard is no longer pervasive;

wenzelm [Sat, 17 Oct 2009 00:52:37 +0200] rev 32957

explicitly qualify Drule.standard;

wenzelm [Fri, 16 Oct 2009 10:55:07 +0200] rev 32956

tuned white space;

isabelle