| Thu, 03 Apr 2014 17:00:14 +0200 | blanchet | use Alt-Ergo 0.95.2, the latest and greatest version | changeset | files |
| Thu, 03 Apr 2014 16:57:19 +0200 | blanchet | updated Z3 TPTP to 4.3.1+ | changeset | files |
| Thu, 03 Apr 2014 13:29:58 +0200 | blanchet | updated Why3 version in docs | changeset | files |
| Thu, 03 Apr 2014 10:51:24 +0200 | blanchet | added same idiomatic handling of namings for Ctr_Sugar/BNF-related interpretation hooks as for typedef and (old-style) datatypes | changeset | files |
| Thu, 03 Apr 2014 10:51:22 +0200 | blanchet | use same idiom as used for datatype 'size' function to name constants and theorems emerging from various type interpretations -- reduces the chances of name clashes on theory merges | changeset | files |
| Thu, 03 Apr 2014 10:51:20 +0200 | blanchet | removed clone (cf. 300f613060b0) | changeset | files |
| Wed, 02 Apr 2014 20:41:44 +0200 | wenzelm | tuned signature -- more explicit iterator terminology; | changeset | files |