--- a/ProgTutorial/Base.thy	Tue May 21 14:37:39 2019 +0200
+++ b/ProgTutorial/Base.thy	Tue May 21 16:22:30 2019 +0200
@@ -3,6 +3,7 @@
         "~~/src/HOL/Library/LaTeXsugar"
 begin
 
+
 notation (latex output)
   Cons ("_ # _" [66,65] 65)