src/HOL/Multivariate_Analysis/Real_Integration.thy
Mon, 22 Feb 2010 20:41:49 +0100 hoelzl Replaced Integration by Multivariate-Analysis/Real_Integration
less more (0) tip