isabelle: Changelog

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;

schirmer [Wed, 19 Dec 2007 16:32:16 +0100] rev 25707

more examples

schirmer [Wed, 19 Dec 2007 16:32:14 +0100] rev 25706

accomodate to replacement of K_record by %x.c

schirmer [Wed, 19 Dec 2007 16:32:12 +0100] rev 25705

replaced K_record by lambda term %x. c

isabelle