nipkow [Mon, 29 Sep 2014 21:34:48 +0200] rev 58483
tuned
blanchet [Mon, 29 Sep 2014 18:37:33 +0200] rev 58482
simplified and repaired veriT index handling code
blanchet [Mon, 29 Sep 2014 14:32:30 +0200] rev 58481
made 'moura' tactic more powerful
blanchet [Mon, 29 Sep 2014 12:30:12 +0200] rev 58480
fixed wrong optimization (wrong because it may affect the sequent's conclusion)
blanchet [Mon, 29 Sep 2014 12:30:09 +0200] rev 58479
merge
blanchet [Mon, 29 Sep 2014 12:29:52 +0200] rev 58478
added option to get cleaner SPASS proofs
blanchet [Mon, 29 Sep 2014 10:39:39 +0200] rev 58477
parse back type of SPASS proof variables
blanchet [Mon, 29 Sep 2014 10:39:39 +0200] rev 58476
make sure no '__' suffixes make it until Isar proof
blanchet [Mon, 29 Sep 2014 10:39:39 +0200] rev 58475
rename skolem symbols in the negative case as well
blanchet [Mon, 29 Sep 2014 10:39:39 +0200] rev 58474
reintroduced 'rel_cases' in docs