Tue, 22 Dec 2015 21:58:27 +0100 | immler | theory for type of bounded linear functions; differentiation under the integral sign | changeset | files |
Tue, 22 Dec 2015 15:39:01 +0100 | haftmann | stripped some legacy | changeset | files |
Tue, 22 Dec 2015 15:38:59 +0100 | haftmann | tuned proofs and augmented some lemmas | changeset | files |