| Tue, 20 Apr 2010 14:07:52 +0200 | himmelma | Translated remaining theorems about integration from HOL light. | file | diff | annotate |
| Fri, 26 Mar 2010 23:58:27 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
| Wed, 24 Mar 2010 14:08:07 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
| Thu, 18 Mar 2010 13:56:32 +0100 | haftmann | updated certificate | file | diff | annotate |
| Thu, 11 Mar 2010 15:52:34 +0100 | haftmann | updated generated certificate | file | diff | annotate |
| Mon, 22 Feb 2010 20:41:49 +0100 | hoelzl | Replaced Integration by Multivariate-Analysis/Real_Integration | file | diff | annotate | base |
| Wed, 17 Feb 2010 18:33:45 +0100 | himmelma | Added integration to Multivariate-Analysis (upto FTC) | file | diff | annotate |