--- a/progs/Matcher2.thy	Fri Oct 25 18:54:08 2024 +0100
+++ b/progs/Matcher2.thy	Sat Nov 09 06:23:35 2024 +0000
@@ -131,7 +131,6 @@
 by (auto)
 
 
-
 section \<open>Semantics of Regular Expressions\<close>
  
 fun