--- a/progs/Matcher2.thy	Sat Oct 11 13:54:18 2014 +0100
+++ b/progs/Matcher2.thy	Sun Oct 12 19:39:55 2014 +0100
@@ -303,5 +303,5 @@
 by (induct s arbitrary: r)
    (simp_all add: nullable_correctness der_correctness Der_def)
 
-`
+
 end    
\ No newline at end of file