src/HOL/Probability/Measurable.thy
changeset 50530 6266e44b3396
parent 50387 3d8863c41fe8
child 53043 8cbfbeb566a4
     1.1 --- a/src/HOL/Probability/Measurable.thy	Fri Dec 14 16:24:12 2012 +0100
     1.2 +++ b/src/HOL/Probability/Measurable.thy	Fri Dec 14 16:33:22 2012 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Probability/measurable.ML
     1.5 +(*  Title:      HOL/Probability/Measurable.thy
     1.6      Author:     Johannes Hölzl <hoelzl@in.tum.de>
     1.7  *)
     1.8  theory Measurable