src/Provers/eqsubst.ML
changeset 16434 d17817dd61e9
parent 16007 4dcccaa11a13
child 16978 e35b518bffc9
     1.1 --- a/src/Provers/eqsubst.ML	Fri Jun 17 18:33:18 2005 +0200
     1.2 +++ b/src/Provers/eqsubst.ML	Fri Jun 17 18:33:19 2005 +0200
     1.3 @@ -1,5 +1,6 @@
     1.4  (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) 
     1.5  (*  Title:      Provers/eqsubst.ML
     1.6 +    ID:         $Id$
     1.7      Author:     Lucas Dixon, University of Edinburgh
     1.8                  lucas.dixon@ed.ac.uk
     1.9      Modified:   18 Feb 2005 - Lucas -