--- a/src/HOL/Tools/ATP/recon_parse.ML Thu Apr 21 13:15:25 2005 +0200
+++ b/src/HOL/Tools/ATP/recon_parse.ML Thu Apr 21 15:05:24 2005 +0200
@@ -1,3 +1,8 @@
+(* ID: $Id$
+ Author: Claire Quigley
+ Copyright 2004 University of Cambridge
+*)
+
(*use "Translate_Proof";*)
(* Parsing functions *)