isabelle: Changelog

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.

berghofe [Thu, 10 May 2007 15:50:56 +0200] rev 22924

Adapted to new naming scheme for definitions.

berghofe [Thu, 10 May 2007 15:50:28 +0200] rev 22923

Changed name of raw definition.

isabelle