isabelle: Changelog

chaieb [Mon, 18 May 2009 23:43:36 +0100] rev 31200

merged

chaieb [Mon, 18 May 2009 23:42:55 +0100] rev 31199

FPS composition distributes over inverses, division and arbitrary nth roots. General geometric series theorem

nipkow [Mon, 18 May 2009 23:15:56 +0200] rev 31198

merged

nipkow [Mon, 18 May 2009 23:15:38 +0200] rev 31197

fine-tuned elimination of comprehensions involving x=t.

haftmann [Mon, 18 May 2009 15:45:42 +0200] rev 31196

hide fact log_def -- should not shadow regular log definition

haftmann [Mon, 18 May 2009 15:45:42 +0200] rev 31195

added example on ML level

haftmann [Mon, 18 May 2009 15:45:38 +0200] rev 31194

added quickcheck support for numeric types

haftmann [Mon, 18 May 2009 15:45:36 +0200] rev 31193

generalized lemma map_of_zip_map

haftmann [Mon, 18 May 2009 15:45:34 +0200] rev 31192

added Code_Index.int_of operation

haftmann [Mon, 18 May 2009 15:45:32 +0200] rev 31191

tuned term input syntax

isabelle