Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reverted renaming of Some/None in comments and strings;
authorwenzelm
Thu, 07 Apr 2005 09:51:17 +0200
changeset 15674 4a1d07bb53e2
parent 15673 60c56561bcf4
child 15675 ce00c47dd100
reverted renaming of Some/None in comments and strings;
TFL/dcterm.ML file | annotate | diff | comparison | revisions
src/ZF/Tools/cartprod.ML file | annotate | diff | comparison | revisions 
--- a/TFL/dcterm.ML	Thu Apr 07 09:28:16 2005 +0200
+++ b/TFL/dcterm.ML	Thu Apr 07 09:51:17 2005 +0200
@@ -71,7 +71,7 @@
 
 
 (*---------------------------------------------------------------------------
- * SOME simple constructor functions.
+ * Some simple constructor functions.
  *---------------------------------------------------------------------------*)
 
 val mk_hol_const = Thm.cterm_of (Theory.sign_of HOL.thy) o Const;
--- 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]);
isabelle