| Wed, 21 Apr 2010 10:44:44 +0200 | hoelzl | Only use provided SMT-certificates in HOL-Multivariate_Analysis. | file | diff | annotate |
| 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 |
| Tue, 09 Mar 2010 15:42:23 +0100 | himmelma | reset smt_certificates | file | diff | annotate |
| Tue, 09 Mar 2010 15:39:26 +0100 | himmelma | added lemmas | file | diff | annotate |