--- a/src/HOL/Induct/Common_Patterns.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/Induct/Common_Patterns.thy Tue Feb 23 16:25:08 2016 +0100 @@ -402,4 +402,4 @@ with step.r show ?case by (rule star.step) qed -end \ No newline at end of file +end