src/HOL/Tools/ATP/recon_translate_proof.ML
changeset 15789 4cb16144c81b
parent 15774 9df37a0e935d
child 15794 5de27a5fc5ed
     1.1 --- a/src/HOL/Tools/ATP/recon_translate_proof.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/recon_translate_proof.ML	Thu Apr 21 15:05:24 2005 +0200
     1.3 @@ -1,4 +1,7 @@
     1.4 -
     1.5 +(*  ID:         $Id$
     1.6 +    Author:     Claire Quigley
     1.7 +    Copyright   2004  University of Cambridge
     1.8 +*)
     1.9  
    1.10  fun add_in_order (x:string) [] = [x]
    1.11  |   add_in_order (x:string) ((y:string)::ys) = if (x < y)