--- a/src/HOL/IMP/Compiler.thy Wed Nov 14 14:11:47 2012 +0100
+++ b/src/HOL/IMP/Compiler.thy Wed Nov 14 14:45:14 2012 +0100
@@ -1,6 +1,6 @@
(* Author: Tobias Nipkow *)
-header "A Compiler for IMP"
+header "Compiler for IMP"
theory Compiler imports Big_Step
begin