--- a/src/HOL/Import/HOL4Syntax.thy Sat Mar 03 21:00:31 2012 +0100 +++ b/src/HOL/Import/HOL4Syntax.thy Sat Mar 03 21:01:23 2012 +0100 @@ -9,4 +9,4 @@ ML {* HOL4ImportSyntax.setup() *} -end \ No newline at end of file +end