src/HOL/Tools/ATP/res_clasimpset.ML
changeset 15789 4cb16144c81b
parent 15782 a1863ea9052b
child 15872 8336ff711d80
     1.1 --- a/src/HOL/Tools/ATP/res_clasimpset.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/res_clasimpset.ML	Thu Apr 21 15:05:24 2005 +0200
     1.3 @@ -1,3 +1,8 @@
     1.4 +(*  ID:         $Id$
     1.5 +    Author:     Claire Quigley
     1.6 +    Copyright   2004  University of Cambridge
     1.7 +*)
     1.8 +
     1.9  (* Get claset rules *)
    1.10  
    1.11