| Wed, 21 Apr 2010 11:23:04 +0200 | hoelzl | merged | changeset | files |
| Wed, 21 Apr 2010 10:44:44 +0200 | hoelzl | Only use provided SMT-certificates in HOL-Multivariate_Analysis. | changeset | files |
| Tue, 20 Apr 2010 14:07:52 +0200 | himmelma | Translated remaining theorems about integration from HOL light. | changeset | files |
| Wed, 21 Apr 2010 11:11:42 +0200 | wenzelm | marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.); | changeset | files |