Fri, 28 Jul 2017 15:36:32 +0100 | blanchet | introduced option for nat-as-int in SMT | changeset | files |
Thu, 27 Jul 2017 15:22:35 +0100 | paulson | polytopes: simplical subdivisions, etc. | changeset | files |
Wed, 26 Jul 2017 16:07:45 +0100 | paulson | New theory of Equiintegrability / Continuity of the indefinite integral / improper integration | changeset | files |
Wed, 26 Jul 2017 13:36:36 +0100 | paulson | moved transitive_stepwise_le into Nat, where it belongs | changeset | files |
Mon, 24 Jul 2017 16:50:46 +0100 | paulson | refactored some HORRIBLE integration proofs | changeset | files |
Thu, 20 Jul 2017 23:59:09 +0200 | Lars Hupel | merged | changeset | files |