src/Doc/System/Base.thy

--- a/src/Doc/System/Base.thy	Sat Nov 28 20:18:29 2020 +0100
+++ b/src/Doc/System/Base.thy	Sat Nov 28 21:56:24 2020 +0100
@@ -3,7 +3,7 @@
 theory Base
 imports Pure
 begin
-
+                       
 ML_file \<open>../antiquote_setup.ML\<close>
 
 end