diff -r 43753eca324a -r 7110422d4cb3 src/HOL/IMP/Comp_Rev.thy
--- a/src/HOL/IMP/Comp_Rev.thy	Wed Nov 14 14:11:47 2012 +0100
+++ b/src/HOL/IMP/Comp_Rev.thy	Wed Nov 14 14:45:14 2012 +0100
@@ -2,7 +2,7 @@
 imports Compiler
 begin
 
-section {* Compiler Correctness, 2nd direction *}
+section {* Compiler Correctness, Reverse Direction *}
 
 subsection {* Definitions *}