# HG changeset patch
# User urbanc
# Date 1286088921 0
# Node ID 0d63f1c1f67f9806b043cecadddd4e3d3ebe0b1d
# Parent  205f91d8d91c74ed79f3f3a0878b19491cf2f71f
test

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