isabelle: Changelog

paulson [Tue, 12 Dec 2006 16:20:57 +0100] rev 21790

Removal of the "keep_types" flag: we always keep types!

wenzelm [Tue, 12 Dec 2006 12:03:46 +0100] rev 21789

make SML/NJ happy;

wenzelm [Tue, 12 Dec 2006 11:57:30 +0100] rev 21788

made SML/NJ happy;

huffman [Tue, 12 Dec 2006 07:46:40 +0100] rev 21787

consistent naming for FreeUltrafilterNat lemmas; cleaned up

huffman [Tue, 12 Dec 2006 07:13:06 +0100] rev 21786

cleaned up; generalized some proofs

huffman [Tue, 12 Dec 2006 07:11:58 +0100] rev 21785

fix assumptions on NSDERIV_quotient

huffman [Tue, 12 Dec 2006 04:37:25 +0100] rev 21784

changed (ns)deriv to take functions of type 'a::real_normed_field => 'a

huffman [Tue, 12 Dec 2006 04:32:50 +0100] rev 21783

generalize some theorems

huffman [Tue, 12 Dec 2006 04:31:34 +0100] rev 21782

add type annotation

wenzelm [Tue, 12 Dec 2006 00:25:09 +0100] rev 21781

read_xnum: return leading_zeros, radix;

isabelle