| Mon, 18 Jul 2011 21:34:01 +0200 | haftmann | avoid misunderstandable names | changeset | files |
| Mon, 18 Jul 2011 21:15:51 +0200 | haftmann | moved lemmas to appropriate theory | changeset | files |
| Tue, 19 Jul 2011 00:16:18 +0200 | krauss | forgotten qualifier | changeset | files |
| Tue, 19 Jul 2011 00:07:21 +0200 | krauss | values_timeout defaults to 600.0 on SML/NJ -- saves us from cluttering all theories equivalent declarations | changeset | files |
| Mon, 18 Jul 2011 23:48:28 +0200 | krauss | killed use of PolyML.makestring | changeset | files |
| Mon, 18 Jul 2011 23:35:50 +0200 | krauss | added experimental mira configuration for HOL Light importer | changeset | files |
| Mon, 18 Jul 2011 18:52:52 +0200 | boehmes | allow rules with premises to be declared as z3_rule (to circumvent incompleteness of Z3 proof reconstruction) | changeset | files |
| Mon, 18 Jul 2011 13:49:26 +0200 | bulwahn | unactivating narrowing-based quickcheck by default | changeset | files |