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