Mostly cosmetic changes: updated headers, ID lines, etc.
authorpaulson
Wed May 21 10:54:10 1997 +0200 (1997-05-21)
changeset 3268012c43174664
parent 3267 7203f4dbc0c5
child 3269 eca2a3634acd
Mostly cosmetic changes: updated headers, ID lines, etc.
src/HOL/Subst/AList.ML
src/HOL/Subst/AList.thy
src/HOL/Subst/Subst.ML
src/HOL/Subst/Subst.thy
src/HOL/Subst/UTerm.thy
src/HOL/Subst/Unifier.ML
src/HOL/Subst/Unifier.thy
     1.1 --- a/src/HOL/Subst/AList.ML	Wed May 21 10:53:38 1997 +0200
     1.2 +++ b/src/HOL/Subst/AList.ML	Wed May 21 10:54:10 1997 +0200
     1.3 @@ -1,8 +1,9 @@
     1.4 -(*  Title:      Substitutions/AList.ML
     1.5 +(*  Title:      Subst/AList.ML
     1.6 +    ID:         $Id$
     1.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     1.8      Copyright   1993  University of Cambridge
     1.9  
    1.10 -For AList.thy.
    1.11 +Association lists.
    1.12  *)
    1.13  
    1.14  open AList;
     2.1 --- a/src/HOL/Subst/AList.thy	Wed May 21 10:53:38 1997 +0200
     2.2 +++ b/src/HOL/Subst/AList.thy	Wed May 21 10:54:10 1997 +0200
     2.3 @@ -1,4 +1,5 @@
     2.4 -(*  Title:      Substitutions/alist.thy
     2.5 +(*  Title:      Subst/AList.thy
     2.6 +    ID:         $Id$
     2.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     2.8      Copyright   1993  University of Cambridge
     2.9  
     3.1 --- a/src/HOL/Subst/Subst.ML	Wed May 21 10:53:38 1997 +0200
     3.2 +++ b/src/HOL/Subst/Subst.ML	Wed May 21 10:54:10 1997 +0200
     3.3 @@ -1,9 +1,9 @@
     3.4 -(*  Title:      HOL/Subst/subst.ML
     3.5 +(*  Title:      HOL/Subst/Subst.ML
     3.6      ID:         $Id$
     3.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     3.8      Copyright   1993  University of Cambridge
     3.9  
    3.10 -For subst.thy.  
    3.11 +Substitutions on uterms
    3.12  *)
    3.13  
    3.14  open Subst;
     4.1 --- a/src/HOL/Subst/Subst.thy	Wed May 21 10:53:38 1997 +0200
     4.2 +++ b/src/HOL/Subst/Subst.thy	Wed May 21 10:54:10 1997 +0200
     4.3 @@ -1,4 +1,5 @@
     4.4 -(*  Title:      Substitutions/subst.thy
     4.5 +(*  Title:      Subst/Subst.thy
     4.6 +    ID:         $Id$
     4.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     4.8      Copyright   1993  University of Cambridge
     4.9  
     5.1 --- a/src/HOL/Subst/UTerm.thy	Wed May 21 10:53:38 1997 +0200
     5.2 +++ b/src/HOL/Subst/UTerm.thy	Wed May 21 10:54:10 1997 +0200
     5.3 @@ -1,4 +1,5 @@
     5.4  (*  Title:      Subst/UTerm.thy
     5.5 +    ID:         $Id$
     5.6      Author:     Martin Coen, Cambridge University Computer Laboratory
     5.7      Copyright   1993  University of Cambridge
     5.8  
     6.1 --- a/src/HOL/Subst/Unifier.ML	Wed May 21 10:53:38 1997 +0200
     6.2 +++ b/src/HOL/Subst/Unifier.ML	Wed May 21 10:54:10 1997 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/Subst/unifier.ML
     6.5 +(*  Title:      HOL/Subst/Unifier.ML
     6.6      ID:         $Id$
     6.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     6.8      Copyright   1993  University of Cambridge
     7.1 --- a/src/HOL/Subst/Unifier.thy	Wed May 21 10:53:38 1997 +0200
     7.2 +++ b/src/HOL/Subst/Unifier.thy	Wed May 21 10:54:10 1997 +0200
     7.3 @@ -1,4 +1,5 @@
     7.4 -(*  Title:      Subst/unifier.thy
     7.5 +(*  Title:      Subst/Unifier.thy
     7.6 +    ID:         $Id$
     7.7      Author:     Martin Coen, Cambridge University Computer Laboratory
     7.8      Copyright   1993  University of Cambridge
     7.9