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.
where there is nothing, nothing can be hidden
authorhaftmann
Mon, 15 Jun 2009 08:16:08 +0200
changeset 31636 138625ae4067
parent 31635 8623244a50d5
child 31637 e1223f58ea9b
where there is nothing, nothing can be hidden
src/HOL/Random.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Random.thy	Sun Jun 14 17:20:19 2009 +0200
+++ b/src/HOL/Random.thy	Mon Jun 15 08:16:08 2009 +0200
@@ -176,7 +176,7 @@
 
 hide (open) type seed
 hide (open) const inc_shift minus_shift log "next" seed_invariant split_seed
-  iterate range select pick select_weight select_default
+  iterate range select pick select_weight
 
 no_notation fcomp (infixl "o>" 60)
 no_notation scomp (infixl "o\<rightarrow>" 60)
isabelle