isabelle: Changelog

bulwahn [Thu, 16 Sep 2010 13:49:08 +0200] rev 39463

adapting examples

bulwahn [Thu, 16 Sep 2010 13:49:06 +0200] rev 39462

registering code_prolog as component; using environment variable; adding settings file for prolog code generation

bulwahn [Thu, 16 Sep 2010 13:49:04 +0200] rev 39461

adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck

paulson [Thu, 16 Sep 2010 15:34:31 +0100] rev 39460

merged

paulson [Thu, 16 Sep 2010 15:33:42 +0100] rev 39459

tidied a few proofs

blanchet [Thu, 16 Sep 2010 14:26:09 +0200] rev 39458

merged

blanchet [Thu, 16 Sep 2010 14:24:48 +0200] rev 39457

avoid code duplication

blanchet [Thu, 16 Sep 2010 14:24:03 +0200] rev 39456

tuning

blanchet [Thu, 16 Sep 2010 13:52:17 +0200] rev 39455

merge constructors

blanchet [Thu, 16 Sep 2010 13:44:41 +0200] rev 39454

factor out the inverse of "nice_atp_problem"

isabelle