isabelle: Changelog

bulwahn [Thu, 09 Jun 2011 10:43:42 +0200] rev 43319

NEWS

bulwahn [Thu, 09 Jun 2011 10:19:51 +0200] rev 43318

correcting import theory of examples

bulwahn [Thu, 09 Jun 2011 09:07:13 +0200] rev 43317

fixing code generation test

bulwahn [Thu, 09 Jun 2011 08:32:22 +0200] rev 43316

removing char setup

bulwahn [Thu, 09 Jun 2011 08:32:21 +0200] rev 43315

removing unneccessary manual instantiations and dead definitions; hiding more constants and facts

bulwahn [Thu, 09 Jun 2011 08:32:19 +0200] rev 43314

adding a nicer error message for quickcheck_narrowing; hiding fact empty_def

bulwahn [Thu, 09 Jun 2011 08:32:18 +0200] rev 43313

adding narrowing engine for existentials

bulwahn [Thu, 09 Jun 2011 08:32:18 +0200] rev 43312

adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement

bulwahn [Thu, 09 Jun 2011 08:32:16 +0200] rev 43311

adding theory Quickcheck_Narrowing to HOL-Main image

bulwahn [Thu, 09 Jun 2011 08:32:15 +0200] rev 43310

adapting IsaMakefile

isabelle