# HG changeset patch
# User wenzelm
# Date 1119025999 -7200
# Node ID d17817dd61e9d79e5aa6db565dee4f239de1c820
# Parent  e6fedd5baf324b7b0c4832020a89233567555ad2
added Id;

diff -r e6fedd5baf32 -r d17817dd61e9 src/Provers/eqsubst.ML
--- a/src/Provers/eqsubst.ML	Fri Jun 17 18:33:18 2005 +0200
+++ b/src/Provers/eqsubst.ML	Fri Jun 17 18:33:19 2005 +0200
@@ -1,5 +1,6 @@
 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) 
 (*  Title:      Provers/eqsubst.ML
+    ID:         $Id$
     Author:     Lucas Dixon, University of Edinburgh
                 lucas.dixon@ed.ac.uk
     Modified:   18 Feb 2005 - Lucas -