--- a/thys/Spec.thy	Wed Sep 18 16:35:57 2019 +0100
+++ b/thys/Spec.thy	Sat Oct 24 12:13:39 2020 +0100
@@ -4,6 +4,8 @@
 begin
 
 
+
+
 section {* "Plain" Values *}
 
 datatype val =