
diff -r e15be5466802 -r b7d97a2a083b progs/Matcher2.thy
--- 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




