isabelle: Changelog

wenzelm [Wed, 02 Jan 2013 13:06:54 +0100] rev 50681

enable Z3 for full test (cf. 6f48853f08d5);

smolkas [Wed, 02 Jan 2013 20:53:01 +0100] rev 50680

removed old, unused code

smolkas [Wed, 02 Jan 2013 20:52:39 +0100] rev 50679

removed whitespace

smolkas [Wed, 02 Jan 2013 20:52:32 +0100] rev 50678

removed duplicate code

smolkas [Wed, 02 Jan 2013 20:35:49 +0100] rev 50677

use rpair to avoid swap

blanchet [Wed, 02 Jan 2013 19:59:06 +0100] rev 50676

generate "obtain" steps corresponding to skolemization inferences

blanchet [Wed, 02 Jan 2013 16:32:40 +0100] rev 50675

keep E's and Vampire's skolemization steps

blanchet [Wed, 02 Jan 2013 16:02:33 +0100] rev 50674

tuning

blanchet [Wed, 02 Jan 2013 15:54:38 +0100] rev 50673

fixed oversensitive Skolem handling (cf. eaa540986291)

blanchet [Wed, 02 Jan 2013 15:44:00 +0100] rev 50672

added "obtain" to Isar proof construction data structure

isabelle