Mostly cosmetic changes: updated headers, ID lines, etc.
--- a/src/HOL/Subst/AList.ML Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/AList.ML Wed May 21 10:54:10 1997 +0200
@@ -1,8 +1,9 @@
-(* Title: Substitutions/AList.ML
+(* Title: Subst/AList.ML
+ ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
-For AList.thy.
+Association lists.
*)
open AList;
--- a/src/HOL/Subst/AList.thy Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/AList.thy Wed May 21 10:54:10 1997 +0200
@@ -1,4 +1,5 @@
-(* Title: Substitutions/alist.thy
+(* Title: Subst/AList.thy
+ ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
--- a/src/HOL/Subst/Subst.ML Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/Subst.ML Wed May 21 10:54:10 1997 +0200
@@ -1,9 +1,9 @@
-(* Title: HOL/Subst/subst.ML
+(* Title: HOL/Subst/Subst.ML
ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
-For subst.thy.
+Substitutions on uterms
*)
open Subst;
--- a/src/HOL/Subst/Subst.thy Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/Subst.thy Wed May 21 10:54:10 1997 +0200
@@ -1,4 +1,5 @@
-(* Title: Substitutions/subst.thy
+(* Title: Subst/Subst.thy
+ ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
--- a/src/HOL/Subst/UTerm.thy Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/UTerm.thy Wed May 21 10:54:10 1997 +0200
@@ -1,4 +1,5 @@
(* Title: Subst/UTerm.thy
+ ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
--- a/src/HOL/Subst/Unifier.ML Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/Unifier.ML Wed May 21 10:54:10 1997 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Subst/unifier.ML
+(* Title: HOL/Subst/Unifier.ML
ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
--- a/src/HOL/Subst/Unifier.thy Wed May 21 10:53:38 1997 +0200
+++ b/src/HOL/Subst/Unifier.thy Wed May 21 10:54:10 1997 +0200
@@ -1,4 +1,5 @@
-(* Title: Subst/unifier.thy
+(* Title: Subst/Unifier.thy
+ ID: $Id$
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge