isabelle: Changelog

kleing [Thu, 03 Mar 2011 15:59:44 +1100] rev 41873

separate settings for afp test

blanchet [Wed, 02 Mar 2011 15:51:22 +0100] rev 41872

added missing spaces in output

blanchet [Wed, 02 Mar 2011 14:50:16 +0100] rev 41871

lower threshold for implicitly using "nitpick_simp" for predicate definitions when "total_consts" is on

blanchet [Wed, 02 Mar 2011 13:09:57 +0100] rev 41870

unfold definitions in "preconstrs" option

blanchet [Wed, 02 Mar 2011 13:09:57 +0100] rev 41869

robust handling of types occurring in "eval" and "preconstr" options but not in the goal

blanchet [Wed, 02 Mar 2011 13:09:57 +0100] rev 41868

make "preconstr" option more robust -- shouldn't throw exceptions

paulson [Tue, 01 Mar 2011 10:40:14 +0000] rev 41867

merged

paulson [Mon, 28 Feb 2011 15:06:55 +0000] rev 41866

merged

paulson [Mon, 28 Feb 2011 15:06:36 +0000] rev 41865

declare ext [intro]: Extensionality now available by default

boehmes [Mon, 28 Feb 2011 22:12:09 +0100] rev 41864

merged

isabelle