changeset 1476 | 608483c2122a |
parent 1381 | 57777949b2f8 |
--- a/src/HOL/Subst/UTLemmas.thy Mon Feb 05 21:27:16 1996 +0100 +++ b/src/HOL/Subst/UTLemmas.thy Mon Feb 05 21:29:06 1996 +0100 @@ -1,5 +1,5 @@ -(* Title: Substitutions/utermlemmas.thy - Author: Martin Coen, Cambridge University Computer Laboratory +(* Title: Substitutions/utermlemmas.thy + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge Additional definitions for uterms that are not part of the basic inductive definition.