| Tue, 20 Apr 2010 14:07:52 +0200 | himmelma | Translated remaining theorems about integration from HOL light. | file | diff | annotate |
| Wed, 07 Apr 2010 19:48:58 +0200 | boehmes | renamed "smt_record" to "smt_fixed" (somewhat more expressive) and inverted its semantics | file | diff | annotate |
| Wed, 24 Mar 2010 14:03:52 +0100 | boehmes | inhibit invokation of external SMT solver | file | diff | annotate |