| Fri, 23 Jan 2015 12:37:23 +0100 | Andreas Lochbihler | generalise lemma | changeset | files |
| Fri, 23 Jan 2015 12:04:27 +0100 | hoelzl | integral of the product of count spaces equals the integral of the count space of the product type | changeset | files |
| Thu, 22 Jan 2015 14:51:08 +0100 | hoelzl | import general thms from Density_Compiler | changeset | files |
| Thu, 22 Jan 2015 13:21:45 +0100 | wenzelm | backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually; | changeset | files |