isabelle: Changelog

hoelzl [Tue, 05 Mar 2013 15:43:13 +0100] rev 51342

generalized isGlb_unique

hoelzl [Tue, 05 Mar 2013 15:43:12 +0100] rev 51341

complete_linorder is also a complete_distrib_lattice

hoelzl [Tue, 05 Mar 2013 15:43:08 +0100] rev 51340

move Liminf / Limsup lemmas on complete_lattices to its own file

nipkow [Tue, 05 Mar 2013 15:27:08 +0100] rev 51339

merged

nipkow [Tue, 05 Mar 2013 15:26:57 +0100] rev 51338

New theory of infinity-extended types; should replace Extended_xyz eventually

webertj [Tue, 05 Mar 2013 13:03:24 +0100] rev 51337

Avoid ML warning about unreferenced identifier.

blanchet [Tue, 05 Mar 2013 11:59:58 +0100] rev 51336

polymorphic SPASS is also SPASS

traytel [Tue, 05 Mar 2013 09:47:15 +0100] rev 51335

allow more general coercion maps; tuned;

nipkow [Tue, 05 Mar 2013 10:16:15 +0100] rev 51334

more lemmas about intervals

wenzelm [Mon, 04 Mar 2013 17:32:10 +0100] rev 51333

merged

isabelle