Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ex/CodeRandom.thy
changeset 21545 54cc492d80a9
parent 21404 eb85850d3eb7
child 21876 96a601bc59d8
equal deleted inserted replaced
21544:a9ceeb182cfc 21545:54cc492d80a9 
   185 
   185 
   186 code_const run_random
 
   186 code_const run_random
 
   187   (SML "case _ (Random.seed ()) of (x, '_) => x")
 
   187   (SML "case _ (Random.seed ()) of (x, '_) => x")
 
   188 
   188 
   189 code_gen select select_weight
 
   189 code_gen select select_weight
 
   190   (SML *)
 
   190   (SML #)
 
   191 
   191 
   192 code_gen (SML -)
 
   192 code_gen (SML -)
 
   193 
   193 
   194 end
 
   194 end
isabelle