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 |