--- a/src/HOL/ex/Erdoes_Szekeres.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/ex/Erdoes_Szekeres.thy Tue Feb 23 16:25:08 2016 +0100 @@ -161,4 +161,4 @@ from card_le card_eq show False by simp qed -end \ No newline at end of file +end