--- a/progs/Matcher2.thy	Tue Nov 19 23:44:49 2013 +0000
+++ b/progs/Matcher2.thy	Fri Nov 22 16:56:51 2013 +0000
@@ -299,5 +299,5 @@
 by (induct s arbitrary: r)
    (simp_all add: nullable_correctness der_correctness Der_def)
 
-
+`
 end    
\ No newline at end of file