isabelle: Changelog

huffman [Thu, 02 Dec 2010 11:18:44 -0800] rev 40890

merged

huffman [Wed, 01 Dec 2010 20:52:16 -0800] rev 40889

tuned cpodef code

huffman [Wed, 01 Dec 2010 20:29:39 -0800] rev 40888

reformulate lemma preorder.ex_ideal, and use it for typedefs

hoelzl [Thu, 02 Dec 2010 16:45:28 +0100] rev 40887

Prove rel_interior_convex_hull_union (by Grechuck Bogdan).

haftmann [Thu, 02 Dec 2010 16:39:15 +0100] rev 40886

merged

haftmann [Thu, 02 Dec 2010 16:39:07 +0100] rev 40885

adapted expected value to more idiomatic numeral representation

haftmann [Thu, 02 Dec 2010 14:34:38 +0100] rev 40884

corrected representation for code_numeral numerals

haftmann [Thu, 02 Dec 2010 13:53:36 +0100] rev 40883

separate term_of function for integers -- more canonical representation of negative integers

hoelzl [Thu, 02 Dec 2010 16:17:01 +0100] rev 40882

merged

hoelzl [Thu, 02 Dec 2010 16:16:18 +0100] rev 40881

Use coercions in Approximation (by Dmitriy Traytel).

isabelle