isabelle: Changelog

bulwahn [Wed, 21 Dec 2011 09:41:16 +0100] rev 45942

extending quickcheck example

bulwahn [Wed, 21 Dec 2011 09:39:14 +0100] rev 45941

NEWS

bulwahn [Wed, 21 Dec 2011 09:21:35 +0100] rev 45940

quickcheck_generator command also creates random generators

blanchet [Tue, 20 Dec 2011 18:59:50 +0100] rev 45939

don't try to avoid SPASS keywords; instead, just suffix an underscore to all generated identifiers

blanchet [Tue, 20 Dec 2011 18:59:50 +0100] rev 45938

one more SPASS identifier

blanchet [Tue, 20 Dec 2011 18:59:46 +0100] rev 45937

tuning

noschinl [Tue, 20 Dec 2011 18:46:05 +0100] rev 45936

merged

traytel [Sat, 17 Dec 2011 15:53:58 +0100] rev 45935

meaningful error message on failing merges of coercion tables

noschinl [Tue, 20 Dec 2011 11:40:56 +0100] rev 45934

add simp rules for enat and ereal

noschinl [Mon, 19 Dec 2011 14:41:08 +0100] rev 45933

add lemmas

isabelle