changeset 1476 | 608483c2122a |
parent 968 | 3cdaa8724175 |
child 3192 | a75558a4ed37 |
--- a/src/HOL/Subst/AList.thy Mon Feb 05 21:27:16 1996 +0100 +++ b/src/HOL/Subst/AList.thy Mon Feb 05 21:29:06 1996 +0100 @@ -1,5 +1,5 @@ -(* Title: Substitutions/alist.thy - Author: Martin Coen, Cambridge University Computer Laboratory +(* Title: Substitutions/alist.thy + Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge Association lists.