src/HOL/Probability/Borel.thy
2010-02-08 haftmann 2010-02-08 renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-11-13 nipkow 2009-11-13 renamed lemmas "anti_sym" -> "antisym"
2009-11-09 wenzelm 2009-11-09 eliminated hard tabulators;
2009-11-09 paulson 2009-11-09 fixed some inappropriate names
2009-11-09 paulson 2009-11-09 New theory Probability/Borel.thy, and some associated lemmas