isabelle: Changelog

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

haftmann [Tue, 21 Dec 2010 15:15:55 +0100] rev 41365

proper static closures

haftmann [Tue, 21 Dec 2010 15:15:55 +0100] rev 41364

tuned names

haftmann [Tue, 21 Dec 2010 14:54:23 +0100] rev 41363

renamed mk_id to the more canonical id_const

blanchet [Tue, 21 Dec 2010 14:18:45 +0100] rev 41362

merged

isabelle