blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 48989
improved LEO-II definition handling -- still hoping for a fix directly in LEO-II
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 48988
augment Satallax unsat cores with all definitions
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 48987
better handling of incomplete TSTP proofs
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 48986
generate THF definitions
wenzelm [Wed, 23 May 2012 17:57:28 +0200] rev 48985
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm [Wed, 23 May 2012 17:06:45 +0200] rev 48984
merged
wenzelm [Wed, 23 May 2012 16:53:12 +0200] rev 48983
eliminated old 'axioms';
wenzelm [Wed, 23 May 2012 16:22:27 +0200] rev 48982
discontinued obsolete method fastsimp / tactic fast_simp_tac;
wenzelm [Wed, 23 May 2012 15:57:12 +0200] rev 48981
eliminated obsolete fastsimp;
boehmes [Wed, 23 May 2012 16:03:38 +0200] rev 48980
extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0