testboard: Changelog

wenzelm [Tue, 21 Dec 2010 19:35:36 +0100] rev 41375

configuration option "ML_trace";

haftmann [Tue, 21 Dec 2010 17:52:35 +0100] rev 41374

merged

haftmann [Tue, 21 Dec 2010 17:52:23 +0100] rev 41373

id_const replaces mk_id

haftmann [Tue, 21 Dec 2010 17:52:23 +0100] rev 41372

tuned type_lifting declarations

haftmann [Tue, 21 Dec 2010 16:14:46 +0100] rev 41371

prove more algebraic version of functorial properties; retain old properties for convenience

huffman [Tue, 21 Dec 2010 08:43:39 -0800] rev 41370

declare more simp rules, rewrite proofs in Isar-style

hoelzl [Tue, 21 Dec 2010 16:41:31 +0100] rev 41369

merged

hoelzl [Tue, 21 Dec 2010 15:00:59 +0100] rev 41368

use DERIV_intros

hoelzl [Tue, 21 Dec 2010 14:50:53 +0100] rev 41367

generalized monoseq, decseq and incseq; simplified proof for seq_monosub

haftmann [Tue, 21 Dec 2010 15:16:27 +0100] rev 41366

merged

testboard