--- a/src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy Sun Oct 16 22:43:51 2016 +0200
+++ b/src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy Mon Oct 17 11:46:22 2016 +0200
@@ -10,4 +10,4 @@
imports Hypercomplex
begin
-end
\ No newline at end of file
+end