--- a/src/HOL/TPTP/atp_export.ML Mon Sep 19 23:24:32 2011 +0200
+++ b/src/HOL/TPTP/atp_export.ML Mon Sep 19 23:34:22 2011 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/ex/atp_export.ML
+(* Title: HOL/TPTP/atp_export.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2011