changeset 15789 | 4cb16144c81b |
parent 15774 | 9df37a0e935d |
child 15919 | b30a35432f5a |
--- a/src/HOL/Tools/ATP/recon_order_clauses.ML Thu Apr 21 13:15:25 2005 +0200 +++ b/src/HOL/Tools/ATP/recon_order_clauses.ML Thu Apr 21 15:05:24 2005 +0200 @@ -1,3 +1,8 @@ +(* ID: $Id$ + Author: Claire Quigley + Copyright 2004 University of Cambridge +*) + (*----------------------------------------------*) (* Reorder clauses for use in binary resolution *) (*----------------------------------------------*)