isabelle: Changelog

haftmann [Wed, 02 Jan 2008 15:14:17 +0100] rev 25764

removed some legacy instantiations

haftmann [Wed, 02 Jan 2008 15:14:15 +0100] rev 25763

improved evaluation mechanism

haftmann [Wed, 02 Jan 2008 15:14:02 +0100] rev 25762

splitted class uminus from class minus

paulson [Wed, 02 Jan 2008 12:22:38 +0100] rev 25761

testing for empty sort

paulson [Wed, 02 Jan 2008 12:22:05 +0100] rev 25760

new metis proofs

kleing [Wed, 02 Jan 2008 04:10:47 +0100] rev 25759

renamed foldM to fold_mset on general request added Tobias' lemmas on fold_mset (A+B) etc tuned default simp set for fold_mset

huffman [Wed, 02 Jan 2008 01:20:18 +0100] rev 25758

update instance proofs to new style

huffman [Tue, 01 Jan 2008 20:35:16 +0100] rev 25757

declare sprodE as cases rule; new induction rule sprod_induct

isabelle