src/HOL/Tools/ATP/recon_order_clauses.ML
changeset 15789 4cb16144c81b
parent 15774 9df37a0e935d
child 15919 b30a35432f5a
     1.1 --- a/src/HOL/Tools/ATP/recon_order_clauses.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/recon_order_clauses.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  (*----------------------------------------------*)
    1.10  (* Reorder clauses for use in binary resolution *)
    1.11  (*----------------------------------------------*)