isabelle: Changelog

wenzelm [Sat, 15 May 2010 15:31:33 +0200] rev 36935

eliminated redundant runtime checks;

krauss [Sat, 15 May 2010 00:45:42 +0200] rev 36934

normalize atyp names after unconstrainT, which may rename atyps arbitrarily;

wenzelm [Sat, 15 May 2010 15:07:39 +0200] rev 36933

more precise dependencies for HOL-Word-SMT_Examples;

wenzelm [Sat, 15 May 2010 13:31:25 +0200] rev 36932

merged

blanchet [Fri, 14 May 2010 23:35:35 +0200] rev 36931

merge

blanchet [Fri, 14 May 2010 23:34:24 +0200] rev 36930

added Sledgehammer documentation to TOC

blanchet [Fri, 14 May 2010 23:32:48 +0200] rev 36929

added some Sledgehammer news

blanchet [Fri, 14 May 2010 23:16:33 +0200] rev 36928

document Nitpick changes

blanchet [Fri, 14 May 2010 22:43:24 +0200] rev 36927

merge

blanchet [Fri, 14 May 2010 22:43:00 +0200] rev 36926

added Sledgehammer manual; some material was recovered from the Isar material, the rest is new

isabelle