isabelle: Changelog

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

haftmann [Wed, 19 Dec 2007 22:33:44 +0100] rev 25711

tuned primitive inferences

paulson [Wed, 19 Dec 2007 17:40:48 +0100] rev 25710

Replaced refs by config params; finer critical section in mets method

wenzelm [Wed, 19 Dec 2007 16:52:26 +0100] rev 25709

simultaneous use_thys;

wenzelm [Wed, 19 Dec 2007 16:52:07 +0100] rev 25708

marked refute (the main metis procedure) as CRITICAL;

isabelle