src/HOL/Probability/Measurable.thy
Fri, 14 Dec 2012 16:33:22 +0100 wenzelm updated some headers;
Wed, 05 Dec 2012 15:59:08 +0100 hoelzl Move the measurability prover to its own file
less more (0) tip