isabelle: Changelog

blanchet [Tue, 17 Jun 2014 18:33:34 +0200] rev 57270

reintroduce atomize in Waldmeister code

blanchet [Tue, 17 Jun 2014 16:02:49 +0200] rev 57269

changed type encoding for new Waldmeister, to trigger filtering of 'dangerous' lemmas

blanchet [Mon, 16 Jun 2014 19:44:02 +0200] rev 57268

compile

blanchet [Mon, 16 Jun 2014 19:42:44 +0200] rev 57267

integrated new Waldmeister code with 'sledgehammer' command

blanchet [Mon, 16 Jun 2014 19:41:42 +0200] rev 57266

fixed parsing of one-argument 'file()' in TSTP files

blanchet [Mon, 16 Jun 2014 19:41:01 +0200] rev 57265

use right delimiters for Waldmeister proofs

blanchet [Mon, 16 Jun 2014 19:41:00 +0200] rev 57264

added 'waldmeister_new' as ATP

blanchet [Mon, 16 Jun 2014 19:40:59 +0200] rev 57263

simplified code

blanchet [Mon, 16 Jun 2014 19:40:04 +0200] rev 57262

moved code around

blanchet [Mon, 16 Jun 2014 19:39:41 +0200] rev 57261

give Z3 TPTP proofs a chance

isabelle