| Wed, 17 Sep 2014 23:45:28 +0200 | blanchet | take out selectors for records -- for derived records, these don't quite have the right type | changeset | files |
| Wed, 17 Sep 2014 21:35:58 +0200 | blanchet | register Isabelle selectors as SMT selectors when possible | changeset | files |
| Wed, 17 Sep 2014 17:32:27 +0200 | blanchet | added codatatype support for CVC4 | changeset | files |
| Wed, 17 Sep 2014 16:53:39 +0200 | blanchet | added interface for CVC4 extensions | changeset | files |
| Wed, 17 Sep 2014 16:20:13 +0200 | blanchet | avoid 'subst_tac' when possible (it is suspected of not helping 'HOL-Proofs') | changeset | files |
| Wed, 17 Sep 2014 12:09:33 +0200 | blanchet | tweaked compatibility layer | changeset | files |
| Wed, 17 Sep 2014 11:54:59 +0200 | blanchet | avoid clash with Quickcheck's generated 'random_xxx' function | changeset | files |
| Wed, 17 Sep 2014 11:12:46 +0200 | blanchet | added missing 'restore' in 'transfer' plugin | changeset | files |