isabelle: Changelog

huffman [Fri, 11 May 2007 03:31:12 +0200] rev 22934

generalize setsum lemmas from semiring_0_cancel to semiring_0

wenzelm [Fri, 11 May 2007 01:07:10 +0200] rev 22933

tuned proofs;

wenzelm [Fri, 11 May 2007 00:43:46 +0200] rev 22932

bang_facts: warning;

wenzelm [Fri, 11 May 2007 00:43:45 +0200] rev 22931

tuned proofs;

haftmann [Thu, 10 May 2007 22:11:38 +0200] rev 22930

(class target)

haftmann [Thu, 10 May 2007 22:11:37 +0200] rev 22929

cleaned up

haftmann [Thu, 10 May 2007 22:11:36 +0200] rev 22928

beta/eta conversion after preprocessor

haftmann [Thu, 10 May 2007 22:11:35 +0200] rev 22927

fixed typo

wenzelm [Thu, 10 May 2007 18:10:32 +0200] rev 22926

more conversions; tuned;

berghofe [Thu, 10 May 2007 15:51:59 +0200] rev 22925

Moved extraction_expand declaration of listall_def outside of definition.

isabelle