# HG changeset patch
# User urbanc
# Date 1298228314 0
# Node ID 3ab755a96cef7ac72840b7aa78525cb8e4ba1626
# Parent  f77a7138f791a786551cd9230eae651bb7d24731
minor change

diff -r f77a7138f791 -r 3ab755a96cef Paper/Paper.thy
--- 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