| 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 |
| Tue, 20 Apr 2010 13:44:28 -0700 | huffman | replace many uses of Drule.export_without_context with Drule.zero_var_indexes | changeset | files |
| Tue, 20 Apr 2010 22:34:17 +0200 | ballarin | Remove garbage. | changeset | files |
| Tue, 20 Apr 2010 22:31:08 +0200 | ballarin | Remove garbage. | changeset | files |