isabelle: Changelog

hoelzl [Thu, 04 Jun 2009 17:55:47 +0200] rev 31467

Approximation: Implemented argument reduction for cosine. Sinus is now implemented in terms of cosine. Sqrt computes on the entire real numbers

haftmann [Fri, 05 Jun 2009 14:07:54 +0200] rev 31466

CONTRIBUTORS

haftmann [Fri, 05 Jun 2009 13:35:33 +0200] rev 31465

merged

haftmann [Fri, 05 Jun 2009 13:35:11 +0200] rev 31464

tuned proofs

haftmann [Fri, 05 Jun 2009 09:23:41 +0200] rev 31463

added mk_valtermify_app and mk_random

haftmann [Fri, 05 Jun 2009 08:28:24 +0200] rev 31462

Set.insert with authentic syntax

haftmann [Fri, 05 Jun 2009 08:06:03 +0200] rev 31461

merged

haftmann [Fri, 05 Jun 2009 08:00:53 +0200] rev 31460

Set.insert with authentic syntax

haftmann [Thu, 04 Jun 2009 16:55:20 +0200] rev 31459

added trees implementing mappings

haftmann [Thu, 04 Jun 2009 16:11:04 +0200] rev 31458

avoid Library.foldl_map

isabelle