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.
hide fact range_def
authorhaftmann
Fri, 19 Feb 2010 14:47:00 +0100
changeset 35266 07a56610c00b
parent 35265 3fd8c3edf639
child 35267 8dfd816713c6
hide fact range_def
src/HOL/Random.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Random.thy	Fri Feb 19 14:47:00 2010 +0100
+++ b/src/HOL/Random.thy	Fri Feb 19 14:47:00 2010 +0100
@@ -168,6 +168,7 @@
 hide (open) type seed
 hide (open) const inc_shift minus_shift log "next" split_seed
   iterate range select pick select_weight
+hide (open) fact range_def
 
 no_notation fcomp (infixl "o>" 60)
 no_notation scomp (infixl "o\<rightarrow>" 60)
isabelle