
diff -r 719364f5179b -r c20e4bddcb11 src/HOL/ResAtpOracle.thy
--- 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




