isabelle: Changelog

haftmann [Tue, 13 Sep 2011 07:56:46 +0200] rev 44929

tuned

hoelzl [Wed, 14 Sep 2011 10:08:52 -0400] rev 44928

renamed Complete_Lattices lemmas, removed legacy names

noschinl [Wed, 14 Sep 2011 10:55:07 +0200] rev 44927

merged

noschinl [Wed, 14 Sep 2011 10:24:22 +0200] rev 44926

create central list for language extensions used by the haskell code generator

boehmes [Wed, 14 Sep 2011 09:46:59 +0200] rev 44925

observe distinction between sets and predicates

nipkow [Wed, 14 Sep 2011 06:49:24 +0200] rev 44924

merged

nipkow [Wed, 14 Sep 2011 06:49:01 +0200] rev 44923

cleand up AbsInt fixpoint iteration; tuned syntax

huffman [Tue, 13 Sep 2011 17:25:19 -0700] rev 44922

tuned proofs

huffman [Tue, 13 Sep 2011 17:07:33 -0700] rev 44921

tuned proofs

huffman [Tue, 13 Sep 2011 08:21:51 -0700] rev 44920

remove some redundant [simp] declarations; simplify some proofs;

isabelle