testboard: Changelog

wenzelm [Mon, 05 May 2014 09:41:23 +0200] rev 56861

tuned signature;

wenzelm [Mon, 05 May 2014 09:24:34 +0200] rev 56860

tuned signature;

blanchet [Mon, 05 May 2014 10:03:43 +0200] rev 56859

tuned comment

blanchet [Mon, 05 May 2014 09:30:20 +0200] rev 56858

simplify selectors in code views

blanchet [Mon, 05 May 2014 08:30:38 +0200] rev 56857

note correct induction schemes in 'primrec' (for N2M)

blanchet [Sun, 04 May 2014 21:35:04 +0200] rev 56856

use right meson tactic for preplaying

blanchet [Sun, 04 May 2014 21:02:21 +0200] rev 56855

simplify unused universally quantified variables in Z3 proofs

blanchet [Sun, 04 May 2014 19:27:28 +0200] rev 56854

fixed Waldmeister endgame w.r.t. "Trueprop"

blanchet [Sun, 04 May 2014 19:08:29 +0200] rev 56853

tuned structure name

blanchet [Sun, 04 May 2014 19:01:36 +0200] rev 56852

added 'satx' to Sledgehammer's portfolio (cf. 'isar_try0')

testboard