src/HOL/Tools/res_atp_provers.ML
changeset 17907 c20e4bddcb11
parent 17905 1574533861b1
child 18196 02f1c4022484
     1.1 --- a/src/HOL/Tools/res_atp_provers.ML	Wed Oct 19 06:46:45 2005 +0200
     1.2 +++ b/src/HOL/Tools/res_atp_provers.ML	Wed Oct 19 10:25:46 2005 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  ID:         $Id$
     1.5 -    Author:     Jia Meng 
     1.6 +    Author:     Jia Meng, NICTA
     1.7  
     1.8  Functions used for ATP Oracle.
     1.9  *)