src/HOL/Subst/AList.thy
changeset 3268 012c43174664
parent 3192 a75558a4ed37
child 3842 b55686a7b22c
     1.1 --- a/src/HOL/Subst/AList.thy	Wed May 21 10:53:38 1997 +0200
     1.2 +++ b/src/HOL/Subst/AList.thy	Wed May 21 10:54:10 1997 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4 -(*  Title:      Substitutions/alist.thy
     1.5 +(*  Title:      Subst/AList.thy
     1.6 +    ID:         $Id$
     1.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     1.8      Copyright   1993  University of Cambridge
     1.9