isabelle: Changelog

wenzelm [Wed, 02 Jan 2013 15:08:38 +0100] rev 50684

support File.read_gzip as well, in accordance to File.write_gzip; tuned signature;

wenzelm [Wed, 02 Jan 2013 13:50:59 +0100] rev 50683

inline ML statistics into build log;

wenzelm [Wed, 02 Jan 2013 13:20:10 +0100] rev 50682

removed outdated comment;

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

isabelle