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