src/ZF/Tools/cartprod.ML

--- a/src/ZF/Tools/cartprod.ML	Thu Apr 07 09:28:16 2005 +0200
+++ b/src/ZF/Tools/cartprod.ML	Thu Apr 07 09:51:17 2005 +0200
@@ -61,7 +61,7 @@
 functor CartProd_Fun (Pr: PR) : CARTPROD =
 struct
 
-(* SOME of these functions expect "pseudo-types" containing products,
+(* Some of these functions expect "pseudo-types" containing products,
    as in HOL; the true ZF types would just be "i" *)
 
 fun mk_prod (T1,T2) = Type("*", [T1,T2]);