isabelle: Changelog

traytel [Thu, 13 Nov 2014 14:14:13 +0100] rev 58996

do not introduce consts too early unnecessarily

nipkow [Thu, 13 Nov 2014 12:35:55 +0100] rev 58995

added lemma

wenzelm [Wed, 12 Nov 2014 19:30:56 +0100] rev 58994

merged

wenzelm [Wed, 12 Nov 2014 18:18:38 +0100] rev 58993

prefer independent parallel map where user input is processed -- avoid non-deterministic feedback in error situations;

wenzelm [Wed, 12 Nov 2014 11:39:27 +0100] rev 58992

make SML/NJ happy;

wenzelm [Wed, 12 Nov 2014 10:30:59 +0100] rev 58991

more careful ML source positions, for improved PIDE markup;

immler [Wed, 12 Nov 2014 17:37:44 +0100] rev 58990

NEWS

immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58989

tuned proofs

immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58988

added quickcheck[approximation]

immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58987

quickcheck setup for float, inspired by rat::{exhaustive,full_exhaustive,random}

isabelle