*** empty log message ***

--- a/src/HOL/ResAtpMethods.thy	Wed Oct 19 06:46:45 2005 +0200
+++ b/src/HOL/ResAtpMethods.thy	Wed Oct 19 10:25:46 2005 +0200
@@ -1,5 +1,5 @@
 (* ID: $Id$
-   Author: Jia Meng
+   Author: Jia Meng, NICTA
  a method to setup "vampire" method 
  a method to setup "eprover" method
 *)
@@ -13,4 +13,4 @@
 begin
 setup ResAtpMethods.ResAtps_setup
 
-end
\ No newline at end of file
+end

--- a/src/HOL/ResAtpOracle.thy	Wed Oct 19 06:46:45 2005 +0200
+++ b/src/HOL/ResAtpOracle.thy	Wed Oct 19 10:25:46 2005 +0200
@@ -1,5 +1,5 @@
 (* ID: $Id$
-   Author: Jia Meng
+   Author: Jia Meng, NICTA
 
 setup vampire prover as an oracle
 setup E prover as an oracle
@@ -25,4 +25,4 @@
   *}
 
 
-end
\ No newline at end of file
+end

--- 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

--- a/src/HOL/Tools/res_atp_provers.ML	Wed Oct 19 06:46:45 2005 +0200
+++ b/src/HOL/Tools/res_atp_provers.ML	Wed Oct 19 10:25:46 2005 +0200
@@ -1,5 +1,5 @@
 (*  ID:         $Id$
-    Author:     Jia Meng 
+    Author:     Jia Meng, NICTA
 
 Functions used for ATP Oracle.
 *)

--- a/src/HOL/Tools/res_atp_setup.ML	Wed Oct 19 06:46:45 2005 +0200
+++ b/src/HOL/Tools/res_atp_setup.ML	Wed Oct 19 10:25:46 2005 +0200
@@ -1,5 +1,5 @@
-(* Author: Jia Meng
-   Date: 12/09/2005
+(* ID: $Id$ 
+   Author: Jia Meng, NICTA
 
 *)
 structure ResAtpSetup =
@@ -231,4 +231,4 @@
 fun cond_rm_tmp files = (if (!keep_atp_input) then (warning "ATP input kept...") else (warning "deleting ATP inputs..."; rm_tmp_files1 files));
 
 
-end
\ No newline at end of file
+end