
diff -r 43753eca324a -r 7110422d4cb3 src/HOL/IMP/Compiler.thy
--- 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




