isabelle: Changelog

kleing [Fri, 16 Sep 2011 12:10:43 +1000] rev 44939

removed unused legacy lemma names, some comment cleanup.

kleing [Fri, 16 Sep 2011 12:10:15 +1000] rev 44938

removed word_neq_0_conv from simpset, it's almost never wanted.

hoelzl [Thu, 15 Sep 2011 12:40:08 -0400] rev 44937

removed further legacy rules from Complete_Lattices

noschinl [Thu, 15 Sep 2011 17:06:00 +0200] rev 44936

NEWS on Complete_Lattices, Lattices

blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44935

tail recursive proof preprocessing (needed for huge proofs)

blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44934

tuning

nipkow [Thu, 15 Sep 2011 09:44:27 +0200] rev 44933

merged

nipkow [Thu, 15 Sep 2011 09:44:08 +0200] rev 44932

revised AbsInt and added widening and narrowing

haftmann [Wed, 14 Sep 2011 23:47:04 +0200] rev 44931

updated comment

haftmann [Wed, 14 Sep 2011 23:46:02 +0200] rev 44930

updated generated code

isabelle