src/HOL/Set.ML
changeset 1985 84cf16192e03
parent 1937 e59ff0eb1e91
child 2024 909153d8318f
     1.1 --- a/src/HOL/Set.ML	Thu Sep 12 10:36:51 1996 +0200
     1.2 +++ b/src/HOL/Set.ML	Thu Sep 12 10:40:05 1996 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Copyright   1991  University of Cambridge
     1.6  
     1.7 -For set.thy.  Set theory for higher-order logic.  A set is simply a predicate.
     1.8 +Set theory for higher-order logic.  A set is simply a predicate.
     1.9  *)
    1.10  
    1.11  open Set;