
diff -r 205f91d8d91c -r 0d63f1c1f67f MyhillNerode.thy
--- a/MyhillNerode.thy	Sun Oct 03 06:42:01 2010 +0000
+++ b/MyhillNerode.thy	Sun Oct 03 06:55:21 2010 +0000
@@ -1,4 +1,4 @@
-theory RegExp
+theory MyhilNerode
   imports "Main" 
 begin
 




