2012-04-18 hoelzl add powr_inj
2012-04-18 hoelzl add lemmas to rewrite powr to power
2012-04-18 hoelzl add lemmas to compare log with 0 and 1
2012-04-18 hoelzl add ceiling_diff_floor_le_1
2012-04-19 wenzelm display Java 7 only code for now (cf. b9e2ed4b1579);
2012-04-19 wenzelm some sidekick options for more advanced completion;
2012-04-19 wenzelm custom ListCellRenderer with text area font ensures that symbols are displayed reliably;
2012-04-19 wenzelm tuned imports;
2012-04-19 wenzelm more robust wrt. exceptions;
2012-04-19 wenzelm accomodate digits within Isar command names, notably 'try0';
2012-04-19 wenzelm more robust Sledgehammer in Prover IDE;
2012-04-19 wenzelm test with jdk-7u3 that is also bundled;
2012-04-19 kuncar create thm names correctly
2012-04-19 wenzelm updated components according to tentative bundle;
2012-04-19 wenzelm back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);
2012-04-19 huffman use simpler method for preserving bound variable names in transfer tactic
2012-04-19 huffman tuned lemmas (v)image_id;
2012-04-19 blanchet use latest SPASS
2012-04-19 blanchet doc update
2012-04-19 haftmann dropped dead code;
2012-04-19 huffman generate abs_induct rules for quotient types
2012-04-19 haftmann tuned
2012-04-19 haftmann corrected Nbe.static_value: ignore cached compilations;
2012-04-19 haftmann tuned heading
2012-04-18 haftmann tuned name
2012-04-19 sultana improved threading of thy-values through interpret functions;
2012-04-19 sultana exceptions related to interpreting tptp problems now mention the relevant position in the tptp file;
2012-04-18 huffman add option to transfer method for specifying variables not to generalize over
2012-04-17 Thomas Sewell New tactic "word_bitwise" expands word equalities/inequalities into logic.
2012-04-18 kuncar setup_lifting: no_code switch and supoport for quotient theorems
2012-04-18 blanchet remove old TPTP CNF/FOF parser; always use Nik's new parser
2012-04-18 blanchet more standard SZS output
2012-04-18 blanchet Sledgehammer NEWS and CONTRIBUTORS
2012-04-18 blanchet tuned SZS status output
2012-04-18 blanchet update documentation (mostly based on feedback by Makarius)
2012-04-18 blanchet added SZS status wrappers in TPTP mode
2012-04-18 blanchet fixed Auto Nitpick's output
2012-04-18 blanchet phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup
2012-04-18 blanchet started integrating Nik's parser into TPTP command-line tools
2012-04-18 wenzelm merged
2012-04-18 haftmann tuned
2012-04-18 haftmann dropped errorneous NEWS entry
2012-04-18 wenzelm merged
2012-04-18 haftmann consolidated NEWS entries on fold
2012-04-18 haftmann grouped fold-related NEWS entries together
2012-04-18 haftmann grouped NEWS concerning relations together
2012-04-18 haftmann merged rename traces
2012-04-18 sultana fixed type interpretation;
(0) -30000 -10000 -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 +10000 +30000 tip