changeset 16434 | d17817dd61e9 |
parent 16007 | 4dcccaa11a13 |
child 16978 | e35b518bffc9 |
--- 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 -