--- 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 *}