src/HOL/Set.ML

--- a/src/HOL/Set.ML	Thu Sep 12 10:36:51 1996 +0200
+++ b/src/HOL/Set.ML	Thu Sep 12 10:40:05 1996 +0200
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
-For set.thy.  Set theory for higher-order logic.  A set is simply a predicate.
+Set theory for higher-order logic.  A set is simply a predicate.
 *)
 
 open Set;