Thu, 28 Aug 2014 07:34:23 +0200 | blanchet | tuned terminology | changeset | files |
Thu, 28 Aug 2014 07:30:16 +0200 | blanchet | moved new para to right section of NEWS | changeset | files |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | minor NEWS fix | changeset | files |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | keep skolems as is -- otherwise this breaks proof steps that refer to variables that were 'obtain'ed in the outer Isar proof | changeset | files |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | added 'OLD_' prefix in front of old solvers | changeset | files |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | updated NEWS | changeset | files |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | changeset | files |