Wed, 23 May 2012 21:19:48 +0200 augment Satallax unsat cores with all definitions
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 47973
augment Satallax unsat cores with all definitions
Wed, 23 May 2012 21:19:48 +0200 better handling of incomplete TSTP proofs
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 47972
better handling of incomplete TSTP proofs
Wed, 23 May 2012 21:19:48 +0200 generate THF definitions
blanchet [Wed, 23 May 2012 21:19:48 +0200] rev 47971
generate THF definitions
Wed, 23 May 2012 17:57:28 +0200 build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm [Wed, 23 May 2012 17:57:28 +0200] rev 47970
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
Wed, 23 May 2012 17:06:45 +0200 merged
wenzelm [Wed, 23 May 2012 17:06:45 +0200] rev 47969
merged
Wed, 23 May 2012 16:53:12 +0200 eliminated old 'axioms';
wenzelm [Wed, 23 May 2012 16:53:12 +0200] rev 47968
eliminated old 'axioms';
Wed, 23 May 2012 16:22:27 +0200 discontinued obsolete method fastsimp / tactic fast_simp_tac;
wenzelm [Wed, 23 May 2012 16:22:27 +0200] rev 47967
discontinued obsolete method fastsimp / tactic fast_simp_tac;
Wed, 23 May 2012 15:57:12 +0200 eliminated obsolete fastsimp;
wenzelm [Wed, 23 May 2012 15:57:12 +0200] rev 47966
eliminated obsolete fastsimp;
Wed, 23 May 2012 16:03:38 +0200 extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0
boehmes [Wed, 23 May 2012 16:03:38 +0200] rev 47965
extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0
Wed, 23 May 2012 15:40:10 +0200 merged
wenzelm [Wed, 23 May 2012 15:40:10 +0200] rev 47964
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip