changeset 1465 | 5d7a7e439cec |
parent 1266 | 3ae9fe3c0f68 |
--- a/src/HOL/Subst/UTLemmas.ML Tue Jan 30 15:19:20 1996 +0100 +++ b/src/HOL/Subst/UTLemmas.ML Tue Jan 30 15:24:36 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/Subst/UTLemmas.ML +(* Title: HOL/Subst/UTLemmas.ML ID: $Id$ - Author: Martin Coen, Cambridge University Computer Laboratory + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge For UTLemmas.thy.