src/HOL/Subst/Setplus.ML
changeset 1465 5d7a7e439cec
parent 1266 3ae9fe3c0f68
     1.1 --- a/src/HOL/Subst/Setplus.ML	Tue Jan 30 15:19:20 1996 +0100
     1.2 +++ b/src/HOL/Subst/Setplus.ML	Tue Jan 30 15:24:36 1996 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4 -(*  Title: 	Substitutions/setplus.ML
     1.5 -    Author: 	Martin Coen, Cambridge University Computer Laboratory
     1.6 +(*  Title:      Substitutions/setplus.ML
     1.7 +    Author:     Martin Coen, Cambridge University Computer Laboratory
     1.8      Copyright   1993  University of Cambridge
     1.9  
    1.10  For setplus.thy.