src/HOL/Probability/ROOT.ML
author hoelzl
Tue Mar 22 18:53:05 2011 +0100 (2011-03-22)
changeset 42066 6db76c88907a
parent 33615 261abc2e3155
child 45713 badee348c5fb
permissions -rw-r--r--
generalized Caratheodory from algebra to ring_of_sets
wenzelm@33615
     1
use_thys ["Probability"];