--- a/Paper/Paper.thy	Sun Feb 20 18:54:31 2011 +0000
+++ b/Paper/Paper.thy	Sun Feb 20 18:58:34 2011 +0000
@@ -371,7 +371,7 @@
 *}
 
 
-section {* The Myhill-Nerode Theorem *}
+section {* The Myhill-Nerode Theorem, First Part *}
 
 text {*
   The key definition in the Myhill-Nerode theorem is the