--- a/src/HOL/Tools/res_atp_methods.ML Wed Oct 19 06:46:45 2005 +0200
+++ b/src/HOL/Tools/res_atp_methods.ML Wed Oct 19 10:25:46 2005 +0200
@@ -1,5 +1,5 @@
(* ID: $Id$
- Author: Jia Meng
+ Author: Jia Meng, NICTA
*)
@@ -47,4 +47,4 @@
-end
\ No newline at end of file
+end