--- a/src/HOL/Library/Code_Test.thy Mon Mar 16 16:26:33 2015 +0100
+++ b/src/HOL/Library/Code_Test.thy Mon Mar 16 16:59:59 2015 +0100
@@ -1,4 +1,4 @@
-(* Title: Code_Test.thy
+(* Title: HOL/Library/Code_Test.thy
Author: Andreas Lochbihler, ETH Zurich
Test infrastructure for the code generator