--- a/src/HOL/Random.thy Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/Random.thy Sun Nov 02 18:21:45 2014 +0100
@@ -1,7 +1,7 @@
(* Author: Florian Haftmann, TU Muenchen *)
-header {* A HOL random engine *}
+section {* A HOL random engine *}
theory Random
imports List Groups_List