src/HOL/Tools/ATP/recon_parse.ML
changeset 15789 4cb16144c81b
parent 15688 adf0ba6353f3
child 15919 b30a35432f5a
     1.1 --- a/src/HOL/Tools/ATP/recon_parse.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/recon_parse.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  (*use "Translate_Proof";*)
    1.10  (* Parsing functions *)
    1.11