| 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 |