--- a/src/HOL/IMP/Abs_Int_Tests.thy	Mon Aug 20 20:54:40 2018 +0200
+++ b/src/HOL/IMP/Abs_Int_Tests.thy	Tue Aug 21 17:29:46 2018 +0200
@@ -1,9 +1,11 @@
+(* Author: Tobias Nipkow *)
+
+subsection "Abstract Interpretation Test Programs"
+
 theory Abs_Int_Tests
 imports Com
 begin
 
-subsection "Test Programs"
-
 text\<open>For constant propagation:\<close>
 
 text\<open>Straight line code:\<close>