isabelle: Changelog

wenzelm [Thu, 20 Dec 2007 00:19:40 +0100] rev 25721

Random.range_real makes SML/NJ happy;

wenzelm [Wed, 19 Dec 2007 23:49:28 +0100] rev 25720

tuned comments;

wenzelm [Wed, 19 Dec 2007 23:42:20 +0100] rev 25719

tuned RandomWord signature;

wenzelm [Wed, 19 Dec 2007 23:10:17 +0100] rev 25718

removed strange MacRoman character;

wenzelm [Wed, 19 Dec 2007 23:06:16 +0100] rev 25717

using RandomWord from Isabelle/Pure gains factor 10-20 speedup;

wenzelm [Wed, 19 Dec 2007 23:06:16 +0100] rev 25716

updated;

wenzelm [Wed, 19 Dec 2007 23:06:14 +0100] rev 25715

added General/random_word.ML;

wenzelm [Wed, 19 Dec 2007 23:06:14 +0100] rev 25714

Simple generator for pseudo-random numbers, using unboxed word arithmetic only.

wenzelm [Wed, 19 Dec 2007 23:06:13 +0100] rev 25713

removed duplicate CRITICAL markup;

haftmann [Wed, 19 Dec 2007 22:34:03 +0100] rev 25712

instantiation target

isabelle