
diff -r 8eb6365f5916 -r b9a1486e79be src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
--- 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




