--- a/src/HOL/Probability/Fin_Map.thy Wed Jan 10 15:21:49 2018 +0100 +++ b/src/HOL/Probability/Fin_Map.thy Wed Jan 10 15:25:09 2018 +0100 @@ -1332,4 +1332,4 @@ end -end \ No newline at end of file +end